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