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

Nat arithmetic

Synopsis 
checkedSub : Nat -> Nat -> Maybe Nat

Subtract two Nats, returning Nothing if the result would be negative.

monus : Nat -> Nat -> Nat

Subtract two Nats, clamping at zero. monus 5 3 = 2 ; monus 2 5 = 0