package setr
module MLBDD = SETr_Symbolic_BDD_MLBDDmodule XBDD = SETr_Symbolic_BDD_XBDDmodule Default = MLBDDmodule Opt : sig ... endmodule MLBDD = SETr_Symbolic_BDD_MLBDDmodule XBDD = SETr_Symbolic_BDD_XBDDmodule Default = MLBDDmodule Opt : sig ... end