pub type States = Map<String, Set<String>>;
A type alias for a hash map of states, where keys are variable names and values are sets of states.
pub struct States { /* private fields */ }