Trait Alias tree_automata::Symbol

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