Type Definition prop::ExcM[][src]

type ExcM<T> = Or<T, Not<T>>;

Excluded middle.