Macro not

macro_rules! not {
    ($predicate: ty) => { ... };
}

Negates the given predicate.

For predicate P, not!(P) is Not<P>.