Type Definition Configurations
tree_automata::bottom_up
type Configurations<'a, F, Q, L> = Iter<'a, Labeled<Configuration<F, Q>, L>>;