module type Int_type = sig
.. end
type
t
type
tref
val name : unit -> string
val zero : t
val one : t
val make_ref : t -> tref
val copy_in : tref -> t -> unit
val copy_out : tref -> t
val look : tref -> t
val add : t -> t -> t
val add_1 : t -> int -> t
val add_in : tref -> t -> t -> unit
val add_1_in : tref -> t -> int -> unit
val sub : t -> t -> t
val sub_1 : t -> int -> t
val sub_in : tref -> t -> t -> unit
val sub_1_in : tref -> t -> int -> unit
val mul : t -> t -> t
val mul_1 : t -> int -> t
val mul_in : tref -> t -> t -> unit
val mul_1_in : tref -> t -> int -> unit
val quomod : t ->
t -> t * t
val quo : t -> t -> t
val modulo : t -> t -> t
val gquomod : Numerix.round_mode ->
t ->
t -> t * t
val gquo : Numerix.round_mode ->
t -> t -> t
val gmod : Numerix.round_mode ->
t -> t -> t
val quomod_in : tref ->
tref -> t -> t -> unit
val quo_in : tref -> t -> t -> unit
val mod_in : tref -> t -> t -> unit
val gquomod_in : Numerix.round_mode ->
tref ->
tref -> t -> t -> unit
val gquo_in : Numerix.round_mode ->
tref -> t -> t -> unit
val gmod_in : Numerix.round_mode ->
tref -> t -> t -> unit
val quomod_1 : t -> int -> t * int
val quo_1 : t -> int -> t
val mod_1 : t -> int -> int
val gquomod_1 : Numerix.round_mode -> t -> int -> t * int
val gquo_1 : Numerix.round_mode -> t -> int -> t
val gmod_1 : Numerix.round_mode -> t -> int -> int
val quomod_1_in : tref -> t -> int -> int
val quo_1_in : tref -> t -> int -> unit
val gquomod_1_in : Numerix.round_mode ->
tref -> t -> int -> int
val gquo_1_in : Numerix.round_mode ->
tref -> t -> int -> unit
val abs : t -> t
val abs_in : tref -> t -> unit
val neg : t -> t
val neg_in : tref -> t -> unit
val sqr : t -> t
val pow : t -> int -> t
val pow_1 : int -> int -> t
val powmod : t ->
t -> t -> t
val gpowmod : Numerix.round_mode ->
t ->
t -> t -> t
val sqr_in : tref -> t -> unit
val pow_in : tref -> t -> int -> unit
val pow_1_in : tref -> int -> int -> unit
val powmod_in : tref ->
t -> t -> t -> unit
val gpowmod_in : Numerix.round_mode ->
tref ->
t -> t -> t -> unit
val sqrt : t -> t
val root : t -> int -> t
val gsqrt : Numerix.round_mode -> t -> t
val groot : Numerix.round_mode -> t -> int -> t
val sqrt_in : tref -> t -> unit
val root_in : tref -> t -> int -> unit
val gsqrt_in : Numerix.round_mode -> tref -> t -> unit
val groot_in : Numerix.round_mode ->
tref -> t -> int -> unit
val fact : int -> t
val fact_in : tref -> int -> unit
val gcd : t -> t -> t
val gcd_ex : t ->
t ->
t * t * t
val cfrac : t ->
t ->
t * t * t *
t * t
val gcd_in : tref -> t -> t -> unit
val gcd_ex_in : tref ->
tref ->
tref -> t -> t -> unit
val cfrac_in : tref ->
tref ->
tref ->
tref ->
tref -> t -> t -> unit
val isprime : t -> Numerix.tristate
val isprime_1 : int -> Numerix.tristate
val sgn : t -> int
val cmp : t -> t -> int
val cmp_1 : t -> int -> int
val eq : t -> t -> bool
val eq_1 : t -> int -> bool
val neq : t -> t -> bool
val neq_1 : t -> int -> bool
val inf : t -> t -> bool
val inf_1 : t -> int -> bool
val infeq : t -> t -> bool
val infeq_1 : t -> int -> bool
val sup : t -> t -> bool
val sup_1 : t -> int -> bool
val supeq : t -> t -> bool
val supeq_1 : t -> int -> bool
val of_int : int -> t
val of_string : string -> t
val of_int_in : tref -> int -> unit
val of_string_in : tref -> string -> unit
val int_of : t -> int
val string_of : t -> string
val bstring_of : t -> string
val hstring_of : t -> string
val ostring_of : t -> string
val nrandom : int -> t
val zrandom : int -> t
val nrandom1 : int -> t
val zrandom1 : int -> t
val nrandom_in : tref -> int -> unit
val zrandom_in : tref -> int -> unit
val nrandom1_in : tref -> int -> unit
val zrandom1_in : tref -> int -> unit
val random_init : int -> unit
val nbits : t -> int
val lowbits : t -> int
val highbits : t -> int
val nth_word : t -> int -> int
val nth_bit : t -> int -> bool
val shl : t -> int -> t
val shr : t -> int -> t
val split : t -> int -> t * t
val join : t -> t -> int -> t
val shl_in : tref -> t -> int -> unit
val shr_in : tref -> t -> int -> unit
val split_in : tref ->
tref -> t -> int -> unit
val join_in : tref ->
t -> t -> int -> unit
val toplevel_print : t -> unit
val toplevel_print_tref : tref -> unit
exception Error of string