Type Definition prop::Not[][src]

type Not<T> = Imply<T, False>;

Logical NOT.