Trait prop::nat::Nat

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

Implemented for natural numbers.

Implementors§

source§

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