sig
  type 'a t = 'a Apronexpr.t Cudd.Mtbdd.t
  val of_expr : [> `Apron of 'a ApronexprDD.t ] -> 'a ApronexprDD.t
  val to_expr : 'a ApronexprDD.t -> [> `Apron of 'a ApronexprDD.t ]
  val print :
    (Format.formatter -> Cudd.Bdd.vt -> unit) ->
    'a Apronexpr.symbol -> Format.formatter -> 'a ApronexprDD.t -> unit
  val is_zero :
    ('a, [> 'a Env.typ ], [> 'a Env.typdef ], 'b) Env.O.t ->
    'a Apronexpr.t -> bool
  val is_one :
    ('a, [> 'a Env.typ ], [> 'a Env.typdef ], 'b) Env.O.t ->
    'a Apronexpr.t -> bool
  val absorbant_zero :
    ('a, [> 'a Env.typ ], [> 'a Env.typdef ], 'b) Env.O.t ->
    'a Apronexpr.t Cudd.Mtbdd.unique ->
    'a Apronexpr.t Cudd.Mtbdd.unique option
  val absorbant_one :
    ('a, [> 'a Env.typ ], [> 'a Env.typdef ], 'b) Env.O.t ->
    'a Apronexpr.t Cudd.Mtbdd.unique ->
    'a Apronexpr.t Cudd.Mtbdd.unique option
  val cst :
    ('a, [> 'a Env.typ ], [> 'a Env.typdef ], 'b) Env.O.t ->
    Apron.Coeff.t -> 'a ApronexprDD.t
  val var :
    ('a, [> 'a Env.typ ], [> 'a Env.typdef ], 'b) Env.O.t ->
    'a -> 'a ApronexprDD.t
  val add :
    ('a, [> 'a Env.typ ], [> 'a Env.typdef ], 'b) Env.O.t ->
    ?typ:Apron.Texpr1.typ ->
    ?round:Apron.Texpr1.round ->
    'a ApronexprDD.t -> 'a ApronexprDD.t -> 'a ApronexprDD.t
  val sub :
    ('a, [> 'a Env.typ ], [> 'a Env.typdef ], 'b) Env.O.t ->
    ?typ:Apron.Texpr1.typ ->
    ?round:Apron.Texpr1.round ->
    'a ApronexprDD.t -> 'a ApronexprDD.t -> 'a ApronexprDD.t
  val mul :
    ('a, [> 'a Env.typ ], [> 'a Env.typdef ], 'b) Env.O.t ->
    ?typ:Apron.Texpr1.typ ->
    ?round:Apron.Texpr1.round ->
    'a ApronexprDD.t -> 'a ApronexprDD.t -> 'a ApronexprDD.t
  val div :
    ('a, [> 'a Env.typ ], [> 'a Env.typdef ], 'b) Env.O.t ->
    ?typ:Apron.Texpr1.typ ->
    ?round:Apron.Texpr1.round ->
    'a ApronexprDD.t -> 'a ApronexprDD.t -> 'a ApronexprDD.t
  val gmod :
    ('a, [> 'a Env.typ ], [> 'a Env.typdef ], 'b) Env.O.t ->
    ?typ:Apron.Texpr1.typ ->
    ?round:Apron.Texpr1.round ->
    'a ApronexprDD.t -> 'a ApronexprDD.t -> 'a ApronexprDD.t
  val negate :
    ('a, [> 'a Env.typ ], [> 'a Env.typdef ], 'b) Env.O.t ->
    'a ApronexprDD.t -> 'a ApronexprDD.t
  val cast :
    ('a, [> 'a Env.typ ], [> 'a Env.typdef ], 'b) Env.O.t ->
    ?typ:Apron.Texpr1.typ ->
    ?round:Apron.Texpr1.round -> 'a ApronexprDD.t -> 'a ApronexprDD.t
  val sqrt :
    ('a, [> 'a Env.typ ], [> 'a Env.typdef ], 'b) Env.O.t ->
    ?typ:Apron.Texpr1.typ ->
    ?round:Apron.Texpr1.round -> 'a ApronexprDD.t -> 'a ApronexprDD.t
  val support_leaf :
    ('a, [> 'a Env.typ ], [> 'a Env.typdef ], 'b) Env.O.t ->
    'a ApronexprDD.t -> 'a PSette.t
  val support_cond :
    ('a, [> 'a Env.typ ], [> 'a Env.typdef ], 'b) Env.O.t ->
    'a ApronexprDD.t -> Cudd.Bdd.vt
  val substitute_linexpr :
    ('a, [> 'a Env.typ ], [> 'a Env.typdef ], 'b) Env.O.t ->
    'a Apronexpr.Lin.t ->
    ('a, [> `Apron of 'a ApronexprDD.t ]) PMappe.t -> 'a ApronexprDD.t
  val substitute_polyexpr :
    ('a, [> 'a Env.typ ], [> 'a Env.typdef ], 'b) Env.O.t ->
    'a Apronexpr.Poly.t ->
    ('a, [> `Apron of 'a ApronexprDD.t ]) PMappe.t -> 'a ApronexprDD.t
  val substitute_treeexpr :
    ('a, [> 'a Env.typ ], [> 'a Env.typdef ], 'b) Env.O.t ->
    'a Apronexpr.Tree.t ->
    ('a, [> `Apron of 'a ApronexprDD.t ]) PMappe.t -> 'a ApronexprDD.t
  val substitute :
    ('a, [> 'a Env.typ ], [> 'a Env.typdef ], 'b) Env.O.t ->
    'a Apronexpr.t ->
    ('a, [> `Apron of 'a ApronexprDD.t ]) PMappe.t -> 'a ApronexprDD.t
  module Condition :
    sig
      val make :
        ('a, [> 'a Env.typ ] as 'b, [> 'a Env.typdef ] as 'c, 'd) Env.O.t ->
        ('a, ('a, 'b, 'c, 'd) Env.O.t) Cond.O.t ->
        Apronexpr.Condition.typ -> 'a ApronexprDD.t -> Cudd.Bdd.vt
      val supeq :
        ('a, [> 'a Env.typ ] as 'b, [> 'a Env.typdef ] as 'c, 'd) Env.O.t ->
        ('a, ('a, 'b, 'c, 'd) Env.O.t) Cond.O.t ->
        'a ApronexprDD.t -> Cudd.Bdd.vt
      val sup :
        ('a, [> 'a Env.typ ] as 'b, [> 'a Env.typdef ] as 'c, 'd) Env.O.t ->
        ('a, ('a, 'b, 'c, 'd) Env.O.t) Cond.O.t ->
        'a ApronexprDD.t -> Cudd.Bdd.vt
      val eq :
        ('a, [> 'a Env.typ ] as 'b, [> 'a Env.typdef ] as 'c, 'd) Env.O.t ->
        ('a, ('a, 'b, 'c, 'd) Env.O.t) Cond.O.t ->
        'a ApronexprDD.t -> Cudd.Bdd.vt
      val substitute :
        ('a, [> 'a Env.typ ] as 'b, [> 'a Env.typdef ] as 'c, 'd) Env.O.t ->
        ('a, ('a, 'b, 'c, 'd) Env.O.t) Cond.O.t ->
        'a Apronexpr.Condition.t ->
        ('a, [> `Apron of 'a ApronexprDD.t ]) PMappe.t -> Cudd.Bdd.vt
    end
end