Function prop::fun::comp_inv_to_inv_comp

source · 
pub fn comp_inv_to_inv_comp<F: Prop, G: Prop>(
    _: Comp<Inv<F>, Inv<G>>
) -> Inv<Comp<G, F>>
Expand description

(inv(f) . inv(g)) => inv(g . f).