pub type VariableNames = HashSet<OwnedName, RandomState>;
struct VariableNames { /* private fields */ }