Function prop::queenity::to_sesh

source · [−]
pub fn to_sesh<A: Prop, B: Prop>(_sq: Sq<A, B>) -> Not<Q<A, B>>
Expand description

Converts queenity to inquality (a ¬> b) => ¬(a ~~ b).