type (!'a, !'b) expr = ('a, 'b) ttype !'a dt = ('a, Cudd.Man.d) ttype !'a vt = ('a, Cudd.Man.v) tmodule Bool : sig ... endmodule Bint : sig ... endmodule Benum : sig ... endval substitute_by_var :
?memo:Cudd.Memo.t ->
('a, 'b) t ->
('a * 'a) list ->
('a, 'b) tval substitute_by_var_list :
?memo:Cudd.Memo.t ->
('a, 'b) t list ->
('a * 'a) list ->
('a, 'b) t listval substitute :
?memo:Cudd.Memo.t ->
('a, 'b) t ->
('a * ('a, 'b) t) list ->
('a, 'b) tval substitute_list :
?memo:Cudd.Memo.t ->
('a, 'b) t list ->
('a * ('a, 'b) t) list ->
('a, 'b) t listval support_cond : ('a, 'b) t -> 'b Cudd.Bdd.tval print : Format.formatter -> ('a, 'b) t -> unitmodule List : sig ... endmodule O : sig ... end