Trait Alias tree_automata::State

trait State = Hash + Clone + Eq + Display + Debug;