module(1, "robdd.m",
	robdd,
	{},
	{builtin, io, list, map, sparse_bitset, term, private_builtin},
	{builtin, io, list, map, sparse_bitset, term, assoc_list, bool, hash_table, int, multi_map, pair, require, set_bbbtree, set_unordlist, string, private_builtin},
	{},
	{},
	{},
	{"C"},
	{"C" - robdd, "C" - robdd},
	no_foreign_export,
	no_main
).
