nemo::peano
pub unsafe trait Peano { }
Represents a peano number.
impl Peano for Z
impl<N> Peano for S<N>