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