A bounded natural number (>= 0).

-- >= 4
Nat (Min Nat4)


-- 2 <= nat <= 12
Nat (In Nat2 Nat12)


-- = 3
Nat (Only Nat3)


-- = 3, & 3, described as a difference
Nat (N Nat3 Is (Difference a To (Nat3Plus a)))


-- either one of the above
Nat range


-- Not constuctable
Nat Banana

Convert a Nat to an Int.

nat4 |> Nat.toInt --> 4
Nat.N.toIn nat4 |> Nat.toInt --> 4
Nat.N.toMin nat4 |> Nat.toInt --> 4


compare a b =
    compare (Nat.toInt a) (Nat.toInt b)

The greater of 2 Nats. Works just like Basics.max.

Nat.theGreater
    (nat3 |> Nat.N.toMin)
    (nat4 |> Nat.N.toMin |> Nat.Min.lowerMin (nat3 |> Nat.N.toIn))
--> Nat 4

The smaller of 2 Nats. Works just like Basics.min.

Nat.theSmaller
    (nat3 |> Nat.N.toMin)
    (nat4 |> Nat.N.toMin |> Nat.Min.lowerMin (nat3 |> Nat.N.toIn))
--> Nat 3