Module Sexplib_num.Std.Nat

include Nat
type nat = Nat.nat
external create_nat : int ‑> nat =
val make_nat : int ‑> nat
external set_to_zero_nat : nat ‑> int ‑> int ‑> unit =
external blit_nat : nat ‑> int ‑> nat ‑> int ‑> int ‑> unit =
val copy_nat : nat ‑> int ‑> int ‑> nat
external set_digit_nat : nat ‑> int ‑> int ‑> unit =
external nth_digit_nat : nat ‑> int ‑> int =
external set_digit_nat_native : nat ‑> int ‑> nativeint ‑> unit =
external nth_digit_nat_native : nat ‑> int ‑> nativeint =
val length_nat : nat ‑> int
external num_digits_nat : nat ‑> int ‑> int ‑> int =
external num_leading_zero_bits_in_digit : nat ‑> int ‑> int =
external is_digit_int : nat ‑> int ‑> bool =
external is_digit_zero : nat ‑> int ‑> bool =
external is_digit_normalized : nat ‑> int ‑> bool =
external 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
external incr_nat : nat ‑> int ‑> int ‑> int ‑> int =
external add_nat : nat ‑> int ‑> int ‑> nat ‑> int ‑> int ‑> int ‑> int =
external complement_nat : nat ‑> int ‑> int ‑> unit =
external decr_nat : nat ‑> int ‑> int ‑> int ‑> int =
external sub_nat : nat ‑> int ‑> int ‑> nat ‑> int ‑> int ‑> int ‑> int =
external mult_digit_nat : nat ‑> int ‑> int ‑> nat ‑> int ‑> int ‑> nat ‑> int ‑> int =
external mult_nat : nat ‑> int ‑> int ‑> nat ‑> int ‑> int ‑> nat ‑> int ‑> int ‑> int =
external square_nat : nat ‑> int ‑> int ‑> nat ‑> int ‑> int ‑> int =
external shift_left_nat : nat ‑> int ‑> int ‑> nat ‑> int ‑> int ‑> unit =
external div_digit_nat : nat ‑> int ‑> nat ‑> int ‑> nat ‑> int ‑> int ‑> nat ‑> int ‑> unit =
external div_nat : nat ‑> int ‑> int ‑> nat ‑> int ‑> int ‑> unit =
external shift_right_nat : nat ‑> int ‑> int ‑> nat ‑> int ‑> int ‑> unit =
external compare_digits_nat : nat ‑> int ‑> nat ‑> int ‑> int =
external compare_nat : nat ‑> int ‑> int ‑> nat ‑> int ‑> int ‑> int =
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 =
external lor_digit_nat : nat ‑> int ‑> nat ‑> int ‑> unit =
external lxor_digit_nat : nat ‑> int ‑> nat ‑> int ‑> unit =
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