Type Definition Conjuction
tree_automata::alternating
type Conjuction<Q, I> = Vec<(I, Q)>;
The empty conjunction is True.