val print_cond :
('a, [> 'a Env.typ ], [> 'a Env.typdef ], 'd) Env.O.t ->
Format.formatter ->
[< 'a cond ] ->
unitval compare_cond : 'a Bdd.Env.symbol -> [< 'a cond ] -> [< 'a cond ] -> intval negate_cond :
('a, [> 'a Env.typ ], [> 'a Env.typdef ], 'd) Env.O.t ->
'a cond ->
'a condval support_cond :
('a, [> 'a Env.typ ], [> 'a Env.typdef ], 'd) Env.O.t ->
[< 'a cond ] ->
'a PSette.tmodule O : sig ... endval make :
symbol:'a Bdd.Env.symbol ->
?bddindex0:int ->
?bddsize:int ->
?bddmax:int ->
Cudd.Man.vt ->
'a tval print : 'a Env.t -> Format.formatter -> 'a t -> unitval make_value : 'a -> 'b -> ('a, 'b) valueval get_cond : ('a, 'b) value -> 'aval get_val1 : ('a, 'b) value -> 'b