Type Definition prop::existence::EqNN

source · [−]
pub type EqNN<A, B> = Eq<NN<A>, NN<B>>;
Expand description

¬¬a == ¬¬b.