sig
  type unop = Apron.Texpr1.unop = Neg | Cast | Sqrt
  type binop = Apron.Texpr1.binop = Add | Sub | Mul | Div | Mod | Pow
  type typ =
    Apron.Texpr1.typ =
      Real
    | Int
    | Single
    | Double
    | Extended
    | Quad
  type round = Apron.Texpr1.round = Near | Zero | Up | Down | Rnd
  type 'a t =
      Cst of Apron.Coeff.t
    | Var of 'a
    | Unop of Bddapron.Apronexpr.Tree.unop * 'a Bddapron.Apronexpr.Tree.t *
        Bddapron.Apronexpr.Tree.typ * Bddapron.Apronexpr.Tree.round
    | Binop of Bddapron.Apronexpr.Tree.binop * 'a Bddapron.Apronexpr.Tree.t *
        'a Bddapron.Apronexpr.Tree.t * Bddapron.Apronexpr.Tree.typ *
        Bddapron.Apronexpr.Tree.round
  val support :
    'a Bddapron.Apronexpr.symbol ->
    'a Bddapron.Apronexpr.Tree.t -> 'a PSette.t
  val substitute_by_var :
    'a Bddapron.Apronexpr.Tree.t ->
    ('a, 'a) PMappe.t -> 'a Bddapron.Apronexpr.Tree.t
  val print :
    'a Bddapron.Apronexpr.symbol ->
    Format.formatter -> 'a Bddapron.Apronexpr.Tree.t -> unit
  val compare :
    'a Bddapron.Apronexpr.symbol ->
    'a Bddapron.Apronexpr.Tree.t -> 'a Bddapron.Apronexpr.Tree.t -> int
  val of_expr :
    'a Bddapron.Apronexpr.symbol ->
    Apron.Texpr1.expr -> 'a Bddapron.Apronexpr.Tree.t
  val to_expr :
    'a Bddapron.Apronexpr.symbol ->
    'a Bddapron.Apronexpr.Tree.t -> Apron.Texpr1.expr
end