Module `Nat`

type nat

val create_nat : int -> Nat.nat

val make_nat : int -> Nat.nat

val set_to_zero_nat : Nat.nat -> int -> int -> unit

val blit_nat : Nat.nat -> int -> Nat.nat -> int -> int -> unit

val copy_nat : Nat.nat -> int -> int -> Nat.nat

val set_digit_nat : Nat.nat -> int -> int -> unit

val nth_digit_nat : Nat.nat -> int -> int

val set_digit_nat_native : Nat.nat -> int -> nativeint -> unit

val nth_digit_nat_native : Nat.nat -> int -> nativeint

val length_nat : Nat.nat -> int

val num_digits_nat : Nat.nat -> int -> int -> int

val num_leading_zero_bits_in_digit : Nat.nat -> int -> int

val is_digit_int : Nat.nat -> int -> bool

val is_digit_zero : Nat.nat -> int -> bool

val is_digit_normalized : Nat.nat -> int -> bool

val is_digit_odd : Nat.nat -> int -> bool

val is_zero_nat : Nat.nat -> int -> int -> bool

val is_nat_int : Nat.nat -> int -> int -> bool

val int_of_nat : Nat.nat -> int

val nat_of_int : int -> Nat.nat

val incr_nat : Nat.nat -> int -> int -> int -> int

val add_nat : Nat.nat -> int -> int -> Nat.nat -> int -> int -> int -> int

val complement_nat : Nat.nat -> int -> int -> unit

val decr_nat : Nat.nat -> int -> int -> int -> int

val sub_nat : Nat.nat -> int -> int -> Nat.nat -> int -> int -> int -> int

val mult_digit_nat : 
  Nat.nat ->
  int ->
  int ->
  Nat.nat ->
  int ->
  int ->
  Nat.nat ->
  int ->
  int

val mult_nat : 
  Nat.nat ->
  int ->
  int ->
  Nat.nat ->
  int ->
  int ->
  Nat.nat ->
  int ->
  int ->
  int

val square_nat : Nat.nat -> int -> int -> Nat.nat -> int -> int -> int

val shift_left_nat : Nat.nat -> int -> int -> Nat.nat -> int -> int -> unit

val div_digit_nat : 
  Nat.nat ->
  int ->
  Nat.nat ->
  int ->
  Nat.nat ->
  int ->
  int ->
  Nat.nat ->
  int ->
  unit

val div_nat : Nat.nat -> int -> int -> Nat.nat -> int -> int -> unit

val shift_right_nat : Nat.nat -> int -> int -> Nat.nat -> int -> int -> unit

val compare_digits_nat : Nat.nat -> int -> Nat.nat -> int -> int

val compare_nat : Nat.nat -> int -> int -> Nat.nat -> int -> int -> int

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

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

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

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

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

val land_digit_nat : Nat.nat -> int -> Nat.nat -> int -> unit

val lor_digit_nat : Nat.nat -> int -> Nat.nat -> int -> unit

val lxor_digit_nat : Nat.nat -> int -> Nat.nat -> int -> unit

val gcd_nat : Nat.nat -> int -> int -> Nat.nat -> int -> int -> int

val sqrt_nat : Nat.nat -> int -> int -> Nat.nat

val string_of_nat : Nat.nat -> string

val nat_of_string : string -> Nat.nat

val sys_nat_of_string : int -> string -> int -> int -> Nat.nat

val float_of_nat : Nat.nat -> float

val make_power_base : int -> Nat.nat -> int * int

val power_base_int : int -> int -> Nat.nat

val length_of_digit : int

Module Nat

Module `Nat`