Trait NonPos
peano
pub trait NonPos: Peano { }
Implemented for Zero and all numbers of the form Pred<N: NonPos>.
Zero
Pred<N: NonPos>
impl NonPos for Zero
impl<N: NonPos> NonPos for Pred<N>