/* $Id: brandedset.tmpl.html,v 1.3 2010-04-29 17:17:56 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