Trait NonPos 

pub trait NonPos: Peano { }

Implemented for Zero and all numbers of the form Pred<N: NonPos>.

Implementors

impl NonPos for Zero

impl<N: NonPos> NonPos for Pred<N>