Type Definition prop::Dneg

source ·
pub type Dneg<T> = Imply<Not<Not<T>>, T>;
Expand description

Double negation.