Trait Add 

pub trait Add<Rhs> {
    type Output: TypeNum;
}

Add two type-level numbers

Required Associated Types

type Output: TypeNum

Implementors

impl Add<One> for One

type Output = Two

impl Add<One> for Zero

type Output = One

impl Add<Two> for One

type Output = Three

impl Add<Two> for Zero

type Output = Two

impl Add<Zero> for One

type Output = One

impl Add<Zero> for Zero

type Output = Zero