Type Definition tree_automata::bottom_up::States

type States<'a, F, Q, L> = Keys<'a, Q, HashSet<Labeled<Configuration<F, Q>, L>>>;