Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
val create_nat : int -> nat
val make_nat : int -> nat
val set_to_zero_nat : nat -> int -> int -> unit
val set_digit_nat : nat -> int -> int -> unit
val nth_digit_nat : nat -> int -> int
val set_digit_nat_native : nat -> int -> nativeint -> unit
val nth_digit_nat_native : nat -> int -> nativeint
val length_nat : nat -> int
val num_digits_nat : nat -> int -> int -> int
val num_leading_zero_bits_in_digit : nat -> int -> int
val is_digit_int : nat -> int -> bool
val is_digit_zero : nat -> int -> bool
val is_digit_normalized : nat -> int -> bool
val is_digit_odd : nat -> int -> bool
val is_zero_nat : nat -> int -> int -> bool
val is_nat_int : nat -> int -> int -> bool
val int_of_nat : nat -> int
val nat_of_int : int -> nat
val incr_nat : nat -> int -> int -> int -> int
val complement_nat : nat -> int -> int -> unit
val decr_nat : nat -> int -> int -> int -> int
val string_of_nat : nat -> string
val nat_of_string : string -> nat
val sys_nat_of_string : int -> string -> int -> int -> nat
val float_of_nat : nat -> float
val make_power_base : int -> nat -> int * int
val power_base_int : int -> int -> nat