Function prop::path_semantics::q_true

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

true ~~ x.