Trait Language
tree_automata
pub trait Language<F> { }
impl<F: Symbol, Q: State, L: Label> Language<F> for Automaton<F, Q, L>