Trait NonZero
peano
pub trait NonZero: Peano { }
Implemented for all Peano numbers of the form Succ<M: NonNeg> or Pred<N: NonPos>.
Succ<M: NonNeg>
Pred<N: NonPos>
impl<N: NonNeg> NonZero for Succ<N>
impl<N: NonPos> NonZero for Pred<N>