Trait prop::nat::Lt

pub trait Lt<T> { }

Less than comparison.

Implementors

impl<T> Lt<S<S<T>>> for S<T>

impl<T> Lt<S<T>> for Z

impl<T: Lt<U>, U> Lt<S<U>> for T