Module Nat0

module Nat0: sig .. end
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