/* $Id: brandedset.tmpl.html,v 1.2 2009-06-26 16:32:19 wagner Exp $ */
readonly proc brandedSet(nm, elem, set) is
	build_generic_module(nm, "BrandedSet", [elem, set], [elem])
end

readonly proc BrandedSet(nm, elem, set) is
	Build_generic_module(nm, "BrandedSet", [elem, set], [elem])
end