fst : (a, b) -> a
Extrait le premier élément d'une paire.
import nécessaire.fst : (a, b) -> a
Extrait le premier élément d'une paire.
snd : (a, b) -> b
Extrait le second élément d'une paire.
swap : (a, b) -> (b, a)
Échange les éléments d'une paire.