Naturals with zero.
fromIntAbs : Basics.Int -> Nat
Nat from Int
absolute value.
fromIntAbs 2 -- (Nat 2)
fromIntAbs -3 -- (Nat 3)
fromIntOrZero : Basics.Int -> Nat
Nat from positive Int
s, otherwise 0
fromIntAbs 2 -- (Nat 2)
fromIntAbs -3 -- (Nat 0)
toInt : Nat -> Basics.Int
toInt Nat
add : Nat -> Nat -> Nat
Add two Nats.
nat0 : Nat
Nat 0
nat1 : Nat
Nat 1
nat2 : Nat
Nat 2
nat3 : Nat
Nat 3
nat4 : Nat
Nat 4
nat5 : Nat
Nat 5
successor : Nat -> Nat
Increment by 1