Trait peano::NonPos [] [src]

pub trait NonPos: Peano { }

Implemented for Zero and all numbers of the form Pred<N: NonPos>.

Implementors