Trait dimensioned::peano::NonPos [] [src]

pub trait NonPos: Peano { }

All numbers of the form Pred<N> and Zero will belong to the trait NonNeg.

Implementors