Using HashSet in ModuleExt.libraries