module Mtbdddomain0: sig .. end
type ('a, 'b) man = ('a, 'b) Bddapron.Policy.PMtbdddomain0.man = {
}
type 'a t = 'a Bddapron.Policy.PMtbdddomain0.t
val manager_get_manager : ('a, 'b) man ->
('a, 'b) Bddapron.Mtbdddomain0.man
val make_man : ?global:bool ->
symbol:'a Bddapron.Env.symbol ->
'b Apron.Policy.man -> ('a, 'b) man
val equal : 'a ->
'b t ->
'b t -> bool
val print : ('a, 'b) man ->
'c Bddapron.Env.t ->
'c Bddapron.Cond.t ->
Format.formatter -> 'b t -> unit
val meet_condition_apply : ('a, 'b) man ->
'a Bddapron.Env.t ->
'a Bddapron.Cond.t ->
'b t ->
'b Bddapron.Mtbdddomain0.t ->
'a Bddapron.Expr0.Bool.t -> 'b Bddapron.Mtbdddomain0.t
val meet_condition_improve : ('a, 'b) man ->
'a Bddapron.Env.t ->
'a Bddapron.Cond.t ->
'b t option ->
'b Bddapron.Mtbdddomain0.t ->
'a Bddapron.Expr0.Bool.t -> 'b t