module Use_nat_1: sig .. end
Provides operations involving natural numbers (nat_1 values).
val add : Nat_1.nat_1 * Nat_1.nat_1 -> Nat_1.nat_1
Adds two natural numbers.
val mult : Nat_1.nat_1 * Nat_1.nat_1 -> Nat_1.nat_1
Multiplies two natural numbers.
val greater_than : Nat_1.nat_1 * Nat_1.nat_1 -> bool
Tests whether m > n given the pair (m, n) of natural numbers.
val subtract : Nat_1.nat_1 * Nat_1.nat_1 -> Nat_1.nat_1
Returns the natural number m - n given the pair (m, n) of natural numbers.
val nat_of_int : int -> Nat_1.nat_1
Converts a non-negative int value to a nat_1 value.
val int_of_nat : Nat_1.nat_1 -> int
Converts a nat_1 value to a non-negative int value.