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