pub type CheckNot<T, P> = Check<T, Not<T, P>>;
Expand description

The negation of Check.