Trait NegType
tylar
pub trait NegType: NumType { }
Marker trait for negative numbers (including zero).
impl NegType for Zero
impl<N: NegType> NegType for Pred<N>