Function prop::nat::lt

source[−]
pub fn lt<T: Lt<U>, U>(_a: T, _b: U)
Expand description

Check that one natural number is less than the other.