type (!'a, !'b) man = ('a, 'b) PMtbdddomain0.man = {man : ('a, 'b) Mtbdddomain0.man;papron : 'b Apron.Policy.man;ptable : 'b DPolicy.table;betable : 'a DDDnf.table;symbol : 'a Env.symbol;}type 'a t = 'a PMtbdddomain0.tval manager_get_manager : ('a, 'b) man -> ('a, 'b) Mtbdddomain0.manval make_man :
?global:bool ->
symbol:'a Env.symbol ->
'b Apron.Policy.man ->
('a, 'b) manval print :
('a, 'b) man ->
'c Env.t ->
'c Cond.t ->
Format.formatter ->
'b t ->
unitval meet_condition_apply :
('a, 'b) man ->
'a Env.t ->
'a Cond.t ->
'b t ->
'b Mtbdddomain0.t ->
'a Expr0.Bool.t ->
'b Mtbdddomain0.tval meet_condition_improve :
('a, 'b) man ->
'a Env.t ->
'a Cond.t ->
'b t option ->
'b Mtbdddomain0.t ->
'a Expr0.Bool.t ->
'b t