Trait peano::Peano
[−]
[src]
pub trait Peano { }
All numbers defined in this module belong to the Peano trait. It should not be implemented for anything else.