Type Alias States 

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.

Aliased Type

pub struct States { /* private fields */ }