1995-11-06 02:34:19 -08:00
|
|
|
(***********************************************************************)
|
|
|
|
|
(* *)
|
2011-07-27 07:17:02 -07:00
|
|
|
(* OCaml *)
|
1995-11-06 02:34:19 -08:00
|
|
|
(* *)
|
|
|
|
|
(* Valerie Menissier-Morain, projet Cristal, INRIA Rocquencourt *)
|
|
|
|
|
(* *)
|
1996-04-30 07:53:58 -07:00
|
|
|
(* Copyright 1996 Institut National de Recherche en Informatique et *)
|
1999-11-17 10:59:06 -08:00
|
|
|
(* en Automatique. All rights reserved. This file is distributed *)
|
2001-12-07 05:41:02 -08:00
|
|
|
(* under the terms of the GNU Library General Public License, with *)
|
|
|
|
|
(* the special exception on linking described in file ../../LICENSE. *)
|
1995-11-06 02:34:19 -08:00
|
|
|
(* *)
|
|
|
|
|
(***********************************************************************)
|
|
|
|
|
|
|
|
|
|
(* $Id$ *)
|
|
|
|
|
|
|
|
|
|
(* Module [Nat]: operations on natural numbers *)
|
|
|
|
|
|
|
|
|
|
type nat
|
|
|
|
|
|
|
|
|
|
(* Natural numbers (type [nat]) are positive integers of arbitrary size.
|
|
|
|
|
All operations on [nat] are performed in-place. *)
|
|
|
|
|
|
|
|
|
|
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"
|
2008-01-04 05:15:52 -08:00
|
|
|
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"
|
2010-01-22 04:48:24 -08:00
|
|
|
val length_nat : nat -> int
|
1995-11-06 02:34:19 -08:00
|
|
|
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"
|
2003-11-06 23:59:10 -08:00
|
|
|
external square_nat: nat -> int -> int -> nat -> int -> int -> int = "square_nat" "square_nat_native"
|
1995-11-06 02:34:19 -08:00
|
|
|
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
|
