package num

  1. Overview
  2. Docs
The legacy Num library for arbitrary-precision integer and rational arithmetic

Install 

dune-project
 Dependency

github.com Edit opam file Versions (3)

Authors

  1. V
    Valérie Ménissier-Morain
  2. P
    Pierre Weis
  3. Xavier Leroy

Maintainers

  1. Xavier Leroy

Sources

v1.5.tar.gz
md5=b1f9405dfe5f573ea187f122f789ae57
sha512=110dd01140c1c96f5f067aa824bb63f74a26411dcaa65aaf04cb6c44b116ca02aaab9505f431c66964388ce4a31d86da5928b4c0e5557800e834de80bed46495

doc/num.core/Nat/index.html

Module Nat

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