Trait prop::nat::EqNat

pub trait EqNat { }

Whether two natural numbers are equal.

Implementations on Foreign Types

impl<T> EqNat for (T, T)

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

Implementors