Trait Decr
tylar
pub trait Decr: NumType { type Out: NumType; }
Decrementation of number types.
type Out: NumType
Result of the operation, i.e. Out = Self – 1.
Out
Self
impl Decr for Zero
impl<A: PosType> Decr for Succ<A>
impl<A: NegType> Decr for Pred<A>