Type Definition tree_automata::Labeled

type Labeled<T, L> = (T, L);