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