Function prop::path_semantics::qlim

source · [−]
pub fn qlim<X: LProp>() -> Q<Q<X, X>, X> where
    X::N: Nat, 
Expand description

(x ~~ x) ~~ x.