Nat0: natural numbers (including zero)
type t
= private int
val of_int : int ‑> t
of_int n converts integer n to a natural number.
of_int n
n
external unsafe_of_int : int ‑> t = "%identity"