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