Type Alias Clause 

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

The empty clause is False.

Aliased Type

pub struct Clause<Q, I> { /* private fields */ }