Function prop::path_semantics::lt_lev

pub fn lt_lev<A: LProp, B: LProp>(_a: A, _b: B) where
    A::N: Lt<B::N>, 

Checks whether a proposition level is less than another.