EN
PréludeChargé par défaut — aucun import nécessaire.

Arithmétique sur Nat

Synopsis 
checkedSub : Nat -> Nat -> Maybe Nat

Soustrait deux Nat, en renvoyant Nothing si le résultat serait négatif.

monus : Nat -> Nat -> Nat

Soustrait deux Nat, en bornant à zéro. monus 5 3 = 2 ; monus 2 5 = 0