Function prop::path_semantics::true_q

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

x ~~ x.