Std.Tuple

Operations on tuples.

Functions

fst

fun fst : (t: (a, b)) -> a

Returns the first element of a pair.

snd

fun snd : (t: (a, b)) -> b

Returns the second element of a pair.