Trait prop::nat::Nat

pub trait Nat: Prop + Lt<S<Self>> + Default { }

Implemented for natural numbers.

Implementors

impl<T> Nat for T where
    T: Prop + Lt<S<T>> + Default,