type t = Fcl_arith.t
val i2e : int -> t
val fd2e : Fcl_var.Fd.t -> t
val e2fd : t -> Fcl_var.Fd.t
val ( +~ ) : t -> t -> t
val ( -~ ) : t -> t -> t
val ( *~ ) : t -> t -> t
val ( **~ ) : t -> int -> t
val ( /~ ) : t -> t -> t
val ( %~ ) : t -> t -> t
val abs : t -> t
val sum : t array -> t
val sum_fd : Fcl_var.Fd.t array -> t
val scalprod : int array -> t array -> t
val scalprod_fd : int array -> Fcl_var.Fd.t array -> t
val prod : t array -> t
val prod_fd : Fcl_var.Fd.t array -> t
val fprint : 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 -> Fcl_cstr.t
val ( <=~ ) : t -> t -> Fcl_cstr.t
val ( =~ ) : t -> t -> Fcl_cstr.t
val ( >=~ ) : t -> t -> Fcl_cstr.t
val ( >~ ) : t -> t -> Fcl_cstr.t
val ( <>~ ) : t -> t -> Fcl_cstr.t
val shift : Fcl_var.Fd.t -> int -> Fcl_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 get_boolsum_threshold : unit -> int
val set_boolsum_threshold : int -> unit