sig
  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
end