Module Sexplib_num.Std.Nat

include Nat
type nat = Nat.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
val sexp_of_nat : Nat.nat ‑> Sexplib.Sexp.t
val nat_of_sexp : Sexplib.Sexp.t ‑> Nat.nat