Nat

#

type nat

#

external create_nat : int -> nat = "create_nat"

#

val make_nat : int -> nat

#

external set_to_zero_nat : nat -> int -> int -> unit = "set_to_zero_nat"

#

external blit_nat : nat -> int -> nat -> int -> int -> unit = "blit_nat"

#

val copy_nat : nat -> int -> int -> nat

#

external set_digit_nat : nat -> int -> int -> unit = "set_digit_nat"

#

external nth_digit_nat : nat -> int -> int = "nth_digit_nat"

#

external set_digit_nat_native : nat -> int -> nativeint -> unit = "set_digit_nat_native"

#

external nth_digit_nat_native : nat -> int -> nativeint = "nth_digit_nat_native"

#

val length_nat : nat -> int

#

external num_digits_nat : nat -> int -> int -> int = "num_digits_nat"

#

external num_leading_zero_bits_in_digit : nat -> int -> int = "num_leading_zero_bits_in_digit"

#

external is_digit_int : nat -> int -> bool = "is_digit_int"

#

external is_digit_zero : nat -> int -> bool = "is_digit_zero"

#

external is_digit_normalized : nat -> int -> bool = "is_digit_normalized"

#

external is_digit_odd : nat -> int -> bool = "is_digit_odd"

#

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

#

external incr_nat : nat -> int -> int -> int -> int = "incr_nat"

#

external add_nat : nat -> int -> int -> nat -> int -> int -> int -> int = "add_nat" "add_nat_native"

#

external complement_nat : nat -> int -> int -> unit = "complement_nat"

#

external decr_nat : nat -> int -> int -> int -> int = "decr_nat"

#

external sub_nat : nat -> int -> int -> nat -> int -> int -> int -> int = "sub_nat" "sub_nat_native"

#

external mult_digit_nat : nat -> int -> int -> nat -> int -> int -> nat -> int -> int = "mult_digit_nat" "mult_digit_nat_native"

#

external mult_nat : nat -> int -> int -> nat -> int -> int -> nat -> int -> int -> int = "mult_nat" "mult_nat_native"

#

external square_nat : nat -> int -> int -> nat -> int -> int -> int = "square_nat" "square_nat_native"

#

external shift_left_nat : nat -> int -> int -> nat -> int -> int -> unit = "shift_left_nat" "shift_left_nat_native"

#

external div_digit_nat : nat -> int -> nat -> int -> nat -> int -> int -> nat -> int -> unit = "div_digit_nat" "div_digit_nat_native"

#

external div_nat : nat -> int -> int -> nat -> int -> int -> unit = "div_nat" "div_nat_native"

#

external shift_right_nat : nat -> int -> int -> nat -> int -> int -> unit = "shift_right_nat" "shift_right_nat_native"

#

external compare_digits_nat : nat -> int -> nat -> int -> int = "compare_digits_nat"

#

external compare_nat : nat -> int -> int -> nat -> int -> int -> int = "compare_nat" "compare_nat_native"

#

val eq_nat : nat -> int -> int -> nat -> int -> int -> bool

#

val le_nat : nat -> int -> int -> nat -> int -> int -> bool

#

val lt_nat : nat -> int -> int -> nat -> int -> int -> bool

#

val ge_nat : nat -> int -> int -> nat -> int -> int -> bool

#

val gt_nat : nat -> int -> int -> nat -> int -> int -> bool

#

external land_digit_nat : nat -> int -> nat -> int -> unit = "land_digit_nat"

#

external lor_digit_nat : nat -> int -> nat -> int -> unit = "lor_digit_nat"

#

external lxor_digit_nat : nat -> int -> nat -> int -> unit = "lxor_digit_nat"

#

val gcd_nat : nat -> int -> int -> nat -> int -> int -> int

#

val sqrt_nat : nat -> int -> int -> nat

#

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

#

val length_of_digit : int

module Nat