Type Definition tree_automata::alternating::Clause

type Clause<Q, I> = Vec<Conjuction<Q, I>>;

The empty clause is False.