Up
Module
Nat0
Nat0: natural numbers (including zero)
Signature
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"