Module Bddapron.ApronexprDD.Condition

module Condition: sig .. end

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