module Use_nat_3: sig .. end
Provides operations involving natural numbers (nat_3 values).
val is_zero : Nat_3.nat_3 -> bool
Tests whether a natural number is zero.
val is_power_of_two : Nat_3.nat_3 -> bool
Tests whether a natural number is a power of two.
val suc : Nat_3.nat_3 -> Nat_3.nat_3
Returns the successor of a natural number.
val add : Nat_3.nat_3 * Nat_3.nat_3 -> Nat_3.nat_3
Adds two natural numbers.
val pre : Nat_3.nat_3 -> Nat_3.nat_3
Returns the predecessor of non-zero natural number.
- Error if the number is zero.
val nat_of_int : int -> Nat_3.nat_3
Converts a non-negative int value to a nat_3 value.