Trait prop::nat::EqNat

source · 
pub trait EqNat { }
Expand description

Whether two natural numbers are equal.

Implementations on Foreign Types§

source§

impl<T, U> EqNat for (T, U)where T: Lt<U>, U: Lt<T>,

source§

impl<T> EqNat for (T, T)

Implementors§