Module `Std.Nat`

include module type of struct include Nat end

type nat = Nat.nat

val create_nat : int -> Sexplib_num.Std.Nat.nat

val make_nat : int -> Sexplib_num.Std.Nat.nat

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

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

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

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

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

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

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

val length_nat : Sexplib_num.Std.Nat.nat -> int

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

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

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

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

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

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

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

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

val int_of_nat : Sexplib_num.Std.Nat.nat -> int

val nat_of_int : int -> Sexplib_num.Std.Nat.nat

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

val string_of_nat : Sexplib_num.Std.Nat.nat -> string

val nat_of_string : string -> Sexplib_num.Std.Nat.nat

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

val float_of_nat : Sexplib_num.Std.Nat.nat -> float

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

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

val length_of_digit : int

val sexp_of_nat : Nat.nat -> Sexplib.Sexp.t

val nat_of_sexp : Sexplib.Sexp.t -> Nat.nat

Module Std.Nat

Module `Std.Nat`