Type Definition prop::ExcM

source[−]
pub type ExcM<T> = Or<T, Not<T>>;
Expand description

Excluded middle.