Nat0: natural numbers (including zero)
type t = private int
val of_int : int -> t
of_int n converts integer n to a natural number. Raises Failure if n is negative.
val unsafe_of_int : int -> t