GuaCaml 0.04 · OCaml Package

val show_debug : bool Stdlib.ref

val sized_zero : int -> BTools_BArray.t

val zero : unit -> BTools_BArray.t

val sized_unit : int -> BTools_BArray.t

val unit : unit -> BTools_BArray.t

val compare : BTools_BArray.t -> BTools_BArray.t -> int

val eq : BTools_BArray.t -> BTools_BArray.t -> bool

val (=/) : BTools_BArray.t -> BTools_BArray.t -> bool

val lt : BTools_BArray.t -> BTools_BArray.t -> bool

val (</) : BTools_BArray.t -> BTools_BArray.t -> bool

val gt : BTools_BArray.t -> BTools_BArray.t -> bool

val (>/) : BTools_BArray.t -> BTools_BArray.t -> bool

val le : BTools_BArray.t -> BTools_BArray.t -> bool

val (<=/) : BTools_BArray.t -> BTools_BArray.t -> bool

val ge : BTools_BArray.t -> BTools_BArray.t -> bool

val (>=/) : BTools_BArray.t -> BTools_BArray.t -> bool

val normalize : BTools_BArray.t -> BTools_BArray.t

val resize : BTools_BArray.t -> int -> BTools_BArray.t

val truncate : BTools_BArray.t -> int -> BTools_BArray.t

val of_sized_int : int -> int -> BTools_BArray.t

val of_int : int -> BTools_BArray.t

val is_int : BTools_BArray.t -> bool

val to_int : BTools_BArray.t -> int

val print_base2 : BTools_BArray.t -> unit

exception CarryOverflow of int

val inplace_carry : BTools_BArray.t -> int -> int -> unit

val inplace_add : 
  BTools_BArray.t ->
  int ->
  int ->
  int ->
  BTools_BArray.t ->
  unit

val add : BTools_BArray.t -> BTools_BArray.t -> BTools_BArray.t

exception LowerThanZero of BTools_BArray.t

exception LT0

val addi : BTools_BArray.t -> int -> BTools_BArray.t

val (+/) : BTools_BArray.t -> BTools_BArray.t -> BTools_BArray.t

val error_minus : BTools_BArray.t -> BTools_BArray.t -> BTools_BArray.t

val minus : BTools_BArray.t -> BTools_BArray.t -> BTools_BArray.t

val (-/) : BTools_BArray.t -> BTools_BArray.t -> BTools_BArray.t

val minusi : BTools_BArray.t -> int -> BTools_BArray.t

val mult : BTools_BArray.t -> BTools_BArray.t -> BTools_BArray.t

val multi : BTools_BArray.t -> int -> BTools_BArray.t

val (*/) : BTools_BArray.t -> BTools_BArray.t -> BTools_BArray.t

val shift_lefti : BTools_BArray.t -> int -> BTools_BArray.t

val shift_righti : BTools_BArray.t -> int -> BTools_BArray.t

val shifti : BTools_BArray.t -> int -> BTools_BArray.t

val pow2 : int -> BTools_BArray.t

val quomod : 
  BTools_BArray.t ->
  BTools_BArray.t ->
  BTools_BArray.t * BTools_BArray.t

val quomodi : BTools_BArray.t -> int -> BTools_BArray.t * int

val div : BTools_BArray.t -> BTools_BArray.t -> BTools_BArray.t

val divi : BTools_BArray.t -> int -> BTools_BArray.t

val (//) : BTools_BArray.t -> BTools_BArray.t -> BTools_BArray.t

val modulo : BTools_BArray.t -> BTools_BArray.t -> BTools_BArray.t

val (mod) : BTools_BArray.t -> BTools_BArray.t -> BTools_BArray.t

val modi : BTools_BArray.t -> int -> int

val succ : BTools_BArray.t -> BTools_BArray.t

val pred : BTools_BArray.t -> BTools_BArray.t

val log2_inf : BTools_BArray.t -> int

val log2_sup : BTools_BArray.t -> int

val to_string : BTools_BArray.t -> string

val to_pretty_string : BTools_BArray.t -> string

val print : BTools_BArray.t -> unit

val of_string : string -> BTools_BArray.t

val max : BTools_BArray.t -> BTools_BArray.t -> BTools_BArray.t

val min : BTools_BArray.t -> BTools_BArray.t -> BTools_BArray.t

val mm : 
  BTools_BArray.t ->
  BTools_BArray.t ->
  BTools_BArray.t * BTools_BArray.t

val factorial : int -> BTools_BArray.t

val to_bicimal : BTools_BArray.t -> int list

val of_bicimal : int list -> BTools_BArray.t

package GuaCaml