Trait prop::nat::Lt

source · 
pub trait Lt<T> { }
Expand description

Less than comparison.

Implementors§

source§

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

source§

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

source§

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