type agg_op = Fcl_expr.agg_op = Pluse | Multe
type bin_op = Fcl_expr.bin_op = Dive | Mode
type un_op = Fcl_expr.un_op = Abse
type var = Fcl_expr.var = Var of Fcl_var.Fd.t | Aux of int
type t =
  Fcl_expr.t =
    Agg of agg_op * (int * t) list * int
  | Bin of bin_op * t * t
  | Un of un_op * t
  | Inte of int
  | Fde of var
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 compare_expr : t -> t -> int
val compare_intexpr : int * t -> int * t -> int
val reduce : t -> t
val constrain : t -> Fcl_linear.operator -> Fcl_cstr.t