module(1, "eqvclass.m",
	eqvclass,
	{},
	{builtin, list, set, private_builtin},
	{builtin, list, set, counter, int, map, require, private_builtin},
	{},
	{},
	{},
	{},
	{},
	no_foreign_export,
	no_main
).
