pub const HashSet: Symbol;