Module Bddapron.Bdddomain0.O.L

module L: sig .. end

val is_bottom : 'a Apron.Manager.t -> 'a Bddapron.Bdddomain0.elt -> bool

val meet_cube : 'a Apron.Manager.t ->
       ('b, [> 'b Bddapron.Env.typ ] as 'c, [> 'b Bddapron.Env.typdef ] as 'd, 'e)
       Bddapron.Env.O.t ->
       ('b, ('b, 'c, 'd, 'e) Bddapron.Env.O.t) Bddapron.Cond.O.t ->
       'a Bddapron.Bdddomain0.elt -> Cudd.Bdd.vt -> 'a Bddapron.Bdddomain0.elt

val forget : 'a Apron.Manager.t ->
       'a Bddapron.Bdddomain0.elt ->
       Cudd.Bdd.vt -> Apron.Dim.t array -> 'a Bddapron.Bdddomain0.elt