Trait Add

pub trait Add<B> {
    type Add;
}

Required Associated Types

type Add

Implementors

impl Add<Zero> for Zero

type Add = Zero

impl<A> Add<Zero> for Suc<A>

type Add = Suc<A>

impl<A, B> Add<Suc<B>> for Suc<A>

where A: Add<B>,

type Add = Suc<Suc<<A as Add<B>>::Add>>

impl<B> Add<Suc<B>> for Zero

type Add = Suc<B>