Up

module Nat0

: sig

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.
#
external unsafe_of_int : int -> t = "%identity"
end