Type Definition prop::Dneg[][src]

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

Double negation.