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