Function prop::and::to_eq_pos

source · 
pub fn to_eq_pos<A: Prop, B: Prop>((f0, f1): And<A, B>) -> Eq<A, B>
Expand description

(a ∧ b) => (a == b).

Examples found in repository?
examples/qubit_trait.rs (line 149)
146
147
148
149
150

pub fn test3_eqv<A1: Prop, A2: Prop, B1: Qubit<A1>, B2: Qubit<A2>>(
    q_a1_a2: Qual<A1, A2, B1, B2>
) -> Eq<B1, B2> {
    and::to_eq_pos(q_a1_a2.1)
}