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