Trait prop::nat::Nat

source · 
pub trait Nat: Prop + Lt<S<Self>> + Dec + Default { }
Expand description

Implemented for natural numbers.

Implementors§