pub type Nand<P, Q> = Not<And<P, Q>>;
Composes Not and And.
Not
And
pub struct Nand<P, Q> { /* private fields */ }