Type Definition prop::univalence::Univ

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

Quality univalence: Equality is qual to quality.