module Arith: sig
.. end
type
t
val i2e : int -> t
val fd2e : Facile.Var.Fd.t -> t
val (+~) : t -> t -> t
val ( *~ ) : t -> t -> t
val (-~) : t -> t -> t
val (/~) : t -> t -> t
val ( **~ ) : t -> int -> t
val (%~) : t -> t -> t
val abs : t -> t
val sum : t array -> t
val sum_fd : Facile.Var.Fd.t array -> t
val scalprod : int array -> t array -> t
val scalprod_fd : int array -> Facile.Var.Fd.t array -> t
val prod : t array -> t
val prod_fd : Facile.Var.Fd.t array -> t
val fprint : Pervasives.out_channel -> t -> unit
val eval : t -> int
val min_of_expr : t -> int
val max_of_expr : t -> int
val min_max_of_expr : t -> int * int
val (<=~) : t -> t -> Facile.Cstr.t
val (<~) : t -> t -> Facile.Cstr.t
val (>~) : t -> t -> Facile.Cstr.t
val (=~) : t -> t -> Facile.Cstr.t
val (<>~) : t -> t -> Facile.Cstr.t
val (>=~) : t -> t -> Facile.Cstr.t
val e2fd : t -> Facile.Var.Fd.t
val (<=~~) : t -> t -> t
val (<~~) : t -> t -> t
val (>~~) : t -> t -> t
val (=~~) : t -> t -> t
val (<>~~) : t -> t -> t
val (>=~~) : t -> t -> t
val shift : Facile.Var.Fd.t -> int -> Facile.Var.Fd.t
val get_boolsum_threshold : unit -> int
val set_boolsum_threshold : int -> unit