Trait HexAdd3

pub trait HexAdd3<H1: Hex, H2: Hex> {
    type Output: Hex;
    type Carry: Hex;
}

This is an internal implementation of addition of three number

Example

use const_arithmetic::*;
let a = _5;
let b = _6;
let c = _7;
let result = _2;
let overflow = _1;
 
fn hex_add<H1, H2, H3, B, C>(_h1: H1, _h2: H2, _h3: H3, _b: B, _c: C) where
H1: Hex,
H2: Hex,
H3: Hex,
B: Hex,
C: Hex,
H1: HexAdd3<H2, H3, Output = B, Carry = C>
{}
 
hex_add(a, b, c, result, overflow);

Required Associated Types

type Output: Hex

type Carry: Hex

Implementors

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_0, H> for _0

where H: HexAdd<_0, Output = R, Carry = C0> + Hex, C0: HexAdd<_0, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_0, H> for _1

where H: HexAdd<_1, Output = R, Carry = C0> + Hex, C0: HexAdd<_0, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_0, H> for _2

where H: HexAdd<_2, Output = R, Carry = C0> + Hex, C0: HexAdd<_0, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_0, H> for _3

where H: HexAdd<_3, Output = R, Carry = C0> + Hex, C0: HexAdd<_0, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_0, H> for _4

where H: HexAdd<_4, Output = R, Carry = C0> + Hex, C0: HexAdd<_0, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_0, H> for _5

where H: HexAdd<_5, Output = R, Carry = C0> + Hex, C0: HexAdd<_0, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_0, H> for _6

where H: HexAdd<_6, Output = R, Carry = C0> + Hex, C0: HexAdd<_0, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_0, H> for _7

where H: HexAdd<_7, Output = R, Carry = C0> + Hex, C0: HexAdd<_0, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_0, H> for _8

where H: HexAdd<_8, Output = R, Carry = C0> + Hex, C0: HexAdd<_0, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_0, H> for _9

where H: HexAdd<_9, Output = R, Carry = C0> + Hex, C0: HexAdd<_0, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_0, H> for _A

where H: HexAdd<_A, Output = R, Carry = C0> + Hex, C0: HexAdd<_0, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_0, H> for _B

where H: HexAdd<_B, Output = R, Carry = C0> + Hex, C0: HexAdd<_0, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_0, H> for _C

where H: HexAdd<_C, Output = R, Carry = C0> + Hex, C0: HexAdd<_0, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_0, H> for _D

where H: HexAdd<_D, Output = R, Carry = C0> + Hex, C0: HexAdd<_0, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_0, H> for _E

where H: HexAdd<_E, Output = R, Carry = C0> + Hex, C0: HexAdd<_0, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_0, H> for _F

where H: HexAdd<_F, Output = R, Carry = C0> + Hex, C0: HexAdd<_0, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_1, H> for _0

where H: HexAdd<_1, Output = R, Carry = C0> + Hex, C0: HexAdd<_0, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_1, H> for _1

where H: HexAdd<_2, Output = R, Carry = C0> + Hex, C0: HexAdd<_0, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_1, H> for _2

where H: HexAdd<_3, Output = R, Carry = C0> + Hex, C0: HexAdd<_0, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_1, H> for _3

where H: HexAdd<_4, Output = R, Carry = C0> + Hex, C0: HexAdd<_0, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_1, H> for _4

where H: HexAdd<_5, Output = R, Carry = C0> + Hex, C0: HexAdd<_0, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_1, H> for _5

where H: HexAdd<_6, Output = R, Carry = C0> + Hex, C0: HexAdd<_0, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_1, H> for _6

where H: HexAdd<_7, Output = R, Carry = C0> + Hex, C0: HexAdd<_0, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_1, H> for _7

where H: HexAdd<_8, Output = R, Carry = C0> + Hex, C0: HexAdd<_0, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_1, H> for _8

where H: HexAdd<_9, Output = R, Carry = C0> + Hex, C0: HexAdd<_0, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_1, H> for _9

where H: HexAdd<_A, Output = R, Carry = C0> + Hex, C0: HexAdd<_0, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_1, H> for _A

where H: HexAdd<_B, Output = R, Carry = C0> + Hex, C0: HexAdd<_0, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_1, H> for _B

where H: HexAdd<_C, Output = R, Carry = C0> + Hex, C0: HexAdd<_0, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_1, H> for _C

where H: HexAdd<_D, Output = R, Carry = C0> + Hex, C0: HexAdd<_0, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_1, H> for _D

where H: HexAdd<_E, Output = R, Carry = C0> + Hex, C0: HexAdd<_0, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_1, H> for _E

where H: HexAdd<_F, Output = R, Carry = C0> + Hex, C0: HexAdd<_0, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_1, H> for _F

where H: HexAdd<_0, Output = R, Carry = C0> + Hex, C0: HexAdd<_1, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_2, H> for _0

where H: HexAdd<_2, Output = R, Carry = C0> + Hex, C0: HexAdd<_0, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_2, H> for _1

where H: HexAdd<_3, Output = R, Carry = C0> + Hex, C0: HexAdd<_0, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_2, H> for _2

where H: HexAdd<_4, Output = R, Carry = C0> + Hex, C0: HexAdd<_0, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_2, H> for _3

where H: HexAdd<_5, Output = R, Carry = C0> + Hex, C0: HexAdd<_0, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_2, H> for _4

where H: HexAdd<_6, Output = R, Carry = C0> + Hex, C0: HexAdd<_0, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_2, H> for _5

where H: HexAdd<_7, Output = R, Carry = C0> + Hex, C0: HexAdd<_0, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_2, H> for _6

where H: HexAdd<_8, Output = R, Carry = C0> + Hex, C0: HexAdd<_0, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_2, H> for _7

where H: HexAdd<_9, Output = R, Carry = C0> + Hex, C0: HexAdd<_0, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_2, H> for _8

where H: HexAdd<_A, Output = R, Carry = C0> + Hex, C0: HexAdd<_0, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_2, H> for _9

where H: HexAdd<_B, Output = R, Carry = C0> + Hex, C0: HexAdd<_0, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_2, H> for _A

where H: HexAdd<_C, Output = R, Carry = C0> + Hex, C0: HexAdd<_0, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_2, H> for _B

where H: HexAdd<_D, Output = R, Carry = C0> + Hex, C0: HexAdd<_0, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_2, H> for _C

where H: HexAdd<_E, Output = R, Carry = C0> + Hex, C0: HexAdd<_0, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_2, H> for _D

where H: HexAdd<_F, Output = R, Carry = C0> + Hex, C0: HexAdd<_0, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_2, H> for _E

where H: HexAdd<_0, Output = R, Carry = C0> + Hex, C0: HexAdd<_1, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_2, H> for _F

where H: HexAdd<_1, Output = R, Carry = C0> + Hex, C0: HexAdd<_1, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_3, H> for _0

where H: HexAdd<_3, Output = R, Carry = C0> + Hex, C0: HexAdd<_0, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_3, H> for _1

where H: HexAdd<_4, Output = R, Carry = C0> + Hex, C0: HexAdd<_0, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_3, H> for _2

where H: HexAdd<_5, Output = R, Carry = C0> + Hex, C0: HexAdd<_0, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_3, H> for _3

where H: HexAdd<_6, Output = R, Carry = C0> + Hex, C0: HexAdd<_0, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_3, H> for _4

where H: HexAdd<_7, Output = R, Carry = C0> + Hex, C0: HexAdd<_0, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_3, H> for _5

where H: HexAdd<_8, Output = R, Carry = C0> + Hex, C0: HexAdd<_0, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_3, H> for _6

where H: HexAdd<_9, Output = R, Carry = C0> + Hex, C0: HexAdd<_0, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_3, H> for _7

where H: HexAdd<_A, Output = R, Carry = C0> + Hex, C0: HexAdd<_0, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_3, H> for _8

where H: HexAdd<_B, Output = R, Carry = C0> + Hex, C0: HexAdd<_0, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_3, H> for _9

where H: HexAdd<_C, Output = R, Carry = C0> + Hex, C0: HexAdd<_0, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_3, H> for _A

where H: HexAdd<_D, Output = R, Carry = C0> + Hex, C0: HexAdd<_0, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_3, H> for _B

where H: HexAdd<_E, Output = R, Carry = C0> + Hex, C0: HexAdd<_0, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_3, H> for _C

where H: HexAdd<_F, Output = R, Carry = C0> + Hex, C0: HexAdd<_0, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_3, H> for _D

where H: HexAdd<_0, Output = R, Carry = C0> + Hex, C0: HexAdd<_1, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_3, H> for _E

where H: HexAdd<_1, Output = R, Carry = C0> + Hex, C0: HexAdd<_1, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_3, H> for _F

where H: HexAdd<_2, Output = R, Carry = C0> + Hex, C0: HexAdd<_1, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_4, H> for _0

where H: HexAdd<_4, Output = R, Carry = C0> + Hex, C0: HexAdd<_0, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_4, H> for _1

where H: HexAdd<_5, Output = R, Carry = C0> + Hex, C0: HexAdd<_0, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_4, H> for _2

where H: HexAdd<_6, Output = R, Carry = C0> + Hex, C0: HexAdd<_0, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_4, H> for _3

where H: HexAdd<_7, Output = R, Carry = C0> + Hex, C0: HexAdd<_0, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_4, H> for _4

where H: HexAdd<_8, Output = R, Carry = C0> + Hex, C0: HexAdd<_0, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_4, H> for _5

where H: HexAdd<_9, Output = R, Carry = C0> + Hex, C0: HexAdd<_0, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_4, H> for _6

where H: HexAdd<_A, Output = R, Carry = C0> + Hex, C0: HexAdd<_0, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_4, H> for _7

where H: HexAdd<_B, Output = R, Carry = C0> + Hex, C0: HexAdd<_0, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_4, H> for _8

where H: HexAdd<_C, Output = R, Carry = C0> + Hex, C0: HexAdd<_0, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_4, H> for _9

where H: HexAdd<_D, Output = R, Carry = C0> + Hex, C0: HexAdd<_0, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_4, H> for _A

where H: HexAdd<_E, Output = R, Carry = C0> + Hex, C0: HexAdd<_0, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_4, H> for _B

where H: HexAdd<_F, Output = R, Carry = C0> + Hex, C0: HexAdd<_0, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_4, H> for _C

where H: HexAdd<_0, Output = R, Carry = C0> + Hex, C0: HexAdd<_1, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_4, H> for _D

where H: HexAdd<_1, Output = R, Carry = C0> + Hex, C0: HexAdd<_1, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_4, H> for _E

where H: HexAdd<_2, Output = R, Carry = C0> + Hex, C0: HexAdd<_1, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_4, H> for _F

where H: HexAdd<_3, Output = R, Carry = C0> + Hex, C0: HexAdd<_1, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_5, H> for _0

where H: HexAdd<_5, Output = R, Carry = C0> + Hex, C0: HexAdd<_0, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_5, H> for _1

where H: HexAdd<_6, Output = R, Carry = C0> + Hex, C0: HexAdd<_0, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_5, H> for _2

where H: HexAdd<_7, Output = R, Carry = C0> + Hex, C0: HexAdd<_0, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_5, H> for _3

where H: HexAdd<_8, Output = R, Carry = C0> + Hex, C0: HexAdd<_0, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_5, H> for _4

where H: HexAdd<_9, Output = R, Carry = C0> + Hex, C0: HexAdd<_0, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_5, H> for _5

where H: HexAdd<_A, Output = R, Carry = C0> + Hex, C0: HexAdd<_0, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_5, H> for _6

where H: HexAdd<_B, Output = R, Carry = C0> + Hex, C0: HexAdd<_0, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_5, H> for _7

where H: HexAdd<_C, Output = R, Carry = C0> + Hex, C0: HexAdd<_0, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_5, H> for _8

where H: HexAdd<_D, Output = R, Carry = C0> + Hex, C0: HexAdd<_0, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_5, H> for _9

where H: HexAdd<_E, Output = R, Carry = C0> + Hex, C0: HexAdd<_0, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_5, H> for _A

where H: HexAdd<_F, Output = R, Carry = C0> + Hex, C0: HexAdd<_0, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_5, H> for _B

where H: HexAdd<_0, Output = R, Carry = C0> + Hex, C0: HexAdd<_1, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_5, H> for _C

where H: HexAdd<_1, Output = R, Carry = C0> + Hex, C0: HexAdd<_1, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_5, H> for _D

where H: HexAdd<_2, Output = R, Carry = C0> + Hex, C0: HexAdd<_1, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_5, H> for _E

where H: HexAdd<_3, Output = R, Carry = C0> + Hex, C0: HexAdd<_1, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_5, H> for _F

where H: HexAdd<_4, Output = R, Carry = C0> + Hex, C0: HexAdd<_1, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_6, H> for _0

where H: HexAdd<_6, Output = R, Carry = C0> + Hex, C0: HexAdd<_0, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_6, H> for _1

where H: HexAdd<_7, Output = R, Carry = C0> + Hex, C0: HexAdd<_0, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_6, H> for _2

where H: HexAdd<_8, Output = R, Carry = C0> + Hex, C0: HexAdd<_0, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_6, H> for _3

where H: HexAdd<_9, Output = R, Carry = C0> + Hex, C0: HexAdd<_0, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_6, H> for _4

where H: HexAdd<_A, Output = R, Carry = C0> + Hex, C0: HexAdd<_0, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_6, H> for _5

where H: HexAdd<_B, Output = R, Carry = C0> + Hex, C0: HexAdd<_0, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_6, H> for _6

where H: HexAdd<_C, Output = R, Carry = C0> + Hex, C0: HexAdd<_0, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_6, H> for _7

where H: HexAdd<_D, Output = R, Carry = C0> + Hex, C0: HexAdd<_0, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_6, H> for _8

where H: HexAdd<_E, Output = R, Carry = C0> + Hex, C0: HexAdd<_0, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_6, H> for _9

where H: HexAdd<_F, Output = R, Carry = C0> + Hex, C0: HexAdd<_0, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_6, H> for _A

where H: HexAdd<_0, Output = R, Carry = C0> + Hex, C0: HexAdd<_1, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_6, H> for _B

where H: HexAdd<_1, Output = R, Carry = C0> + Hex, C0: HexAdd<_1, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_6, H> for _C

where H: HexAdd<_2, Output = R, Carry = C0> + Hex, C0: HexAdd<_1, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_6, H> for _D

where H: HexAdd<_3, Output = R, Carry = C0> + Hex, C0: HexAdd<_1, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_6, H> for _E

where H: HexAdd<_4, Output = R, Carry = C0> + Hex, C0: HexAdd<_1, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_6, H> for _F

where H: HexAdd<_5, Output = R, Carry = C0> + Hex, C0: HexAdd<_1, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_7, H> for _0

where H: HexAdd<_7, Output = R, Carry = C0> + Hex, C0: HexAdd<_0, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_7, H> for _1

where H: HexAdd<_8, Output = R, Carry = C0> + Hex, C0: HexAdd<_0, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_7, H> for _2

where H: HexAdd<_9, Output = R, Carry = C0> + Hex, C0: HexAdd<_0, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_7, H> for _3

where H: HexAdd<_A, Output = R, Carry = C0> + Hex, C0: HexAdd<_0, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_7, H> for _4

where H: HexAdd<_B, Output = R, Carry = C0> + Hex, C0: HexAdd<_0, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_7, H> for _5

where H: HexAdd<_C, Output = R, Carry = C0> + Hex, C0: HexAdd<_0, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_7, H> for _6

where H: HexAdd<_D, Output = R, Carry = C0> + Hex, C0: HexAdd<_0, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_7, H> for _7

where H: HexAdd<_E, Output = R, Carry = C0> + Hex, C0: HexAdd<_0, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_7, H> for _8

where H: HexAdd<_F, Output = R, Carry = C0> + Hex, C0: HexAdd<_0, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_7, H> for _9

where H: HexAdd<_0, Output = R, Carry = C0> + Hex, C0: HexAdd<_1, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_7, H> for _A

where H: HexAdd<_1, Output = R, Carry = C0> + Hex, C0: HexAdd<_1, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_7, H> for _B

where H: HexAdd<_2, Output = R, Carry = C0> + Hex, C0: HexAdd<_1, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_7, H> for _C

where H: HexAdd<_3, Output = R, Carry = C0> + Hex, C0: HexAdd<_1, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_7, H> for _D

where H: HexAdd<_4, Output = R, Carry = C0> + Hex, C0: HexAdd<_1, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_7, H> for _E

where H: HexAdd<_5, Output = R, Carry = C0> + Hex, C0: HexAdd<_1, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_7, H> for _F

where H: HexAdd<_6, Output = R, Carry = C0> + Hex, C0: HexAdd<_1, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_8, H> for _0

where H: HexAdd<_8, Output = R, Carry = C0> + Hex, C0: HexAdd<_0, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_8, H> for _1

where H: HexAdd<_9, Output = R, Carry = C0> + Hex, C0: HexAdd<_0, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_8, H> for _2

where H: HexAdd<_A, Output = R, Carry = C0> + Hex, C0: HexAdd<_0, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_8, H> for _3

where H: HexAdd<_B, Output = R, Carry = C0> + Hex, C0: HexAdd<_0, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_8, H> for _4

where H: HexAdd<_C, Output = R, Carry = C0> + Hex, C0: HexAdd<_0, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_8, H> for _5

where H: HexAdd<_D, Output = R, Carry = C0> + Hex, C0: HexAdd<_0, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_8, H> for _6

where H: HexAdd<_E, Output = R, Carry = C0> + Hex, C0: HexAdd<_0, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_8, H> for _7

where H: HexAdd<_F, Output = R, Carry = C0> + Hex, C0: HexAdd<_0, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_8, H> for _8

where H: HexAdd<_0, Output = R, Carry = C0> + Hex, C0: HexAdd<_1, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_8, H> for _9

where H: HexAdd<_1, Output = R, Carry = C0> + Hex, C0: HexAdd<_1, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_8, H> for _A

where H: HexAdd<_2, Output = R, Carry = C0> + Hex, C0: HexAdd<_1, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_8, H> for _B

where H: HexAdd<_3, Output = R, Carry = C0> + Hex, C0: HexAdd<_1, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_8, H> for _C

where H: HexAdd<_4, Output = R, Carry = C0> + Hex, C0: HexAdd<_1, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_8, H> for _D

where H: HexAdd<_5, Output = R, Carry = C0> + Hex, C0: HexAdd<_1, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_8, H> for _E

where H: HexAdd<_6, Output = R, Carry = C0> + Hex, C0: HexAdd<_1, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_8, H> for _F

where H: HexAdd<_7, Output = R, Carry = C0> + Hex, C0: HexAdd<_1, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_9, H> for _0

where H: HexAdd<_9, Output = R, Carry = C0> + Hex, C0: HexAdd<_0, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_9, H> for _1

where H: HexAdd<_A, Output = R, Carry = C0> + Hex, C0: HexAdd<_0, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_9, H> for _2

where H: HexAdd<_B, Output = R, Carry = C0> + Hex, C0: HexAdd<_0, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_9, H> for _3

where H: HexAdd<_C, Output = R, Carry = C0> + Hex, C0: HexAdd<_0, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_9, H> for _4

where H: HexAdd<_D, Output = R, Carry = C0> + Hex, C0: HexAdd<_0, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_9, H> for _5

where H: HexAdd<_E, Output = R, Carry = C0> + Hex, C0: HexAdd<_0, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_9, H> for _6

where H: HexAdd<_F, Output = R, Carry = C0> + Hex, C0: HexAdd<_0, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_9, H> for _7

where H: HexAdd<_0, Output = R, Carry = C0> + Hex, C0: HexAdd<_1, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_9, H> for _8

where H: HexAdd<_1, Output = R, Carry = C0> + Hex, C0: HexAdd<_1, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_9, H> for _9

where H: HexAdd<_2, Output = R, Carry = C0> + Hex, C0: HexAdd<_1, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_9, H> for _A

where H: HexAdd<_3, Output = R, Carry = C0> + Hex, C0: HexAdd<_1, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_9, H> for _B

where H: HexAdd<_4, Output = R, Carry = C0> + Hex, C0: HexAdd<_1, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_9, H> for _C

where H: HexAdd<_5, Output = R, Carry = C0> + Hex, C0: HexAdd<_1, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_9, H> for _D

where H: HexAdd<_6, Output = R, Carry = C0> + Hex, C0: HexAdd<_1, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_9, H> for _E

where H: HexAdd<_7, Output = R, Carry = C0> + Hex, C0: HexAdd<_1, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_9, H> for _F

where H: HexAdd<_8, Output = R, Carry = C0> + Hex, C0: HexAdd<_1, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_A, H> for _0

where H: HexAdd<_A, Output = R, Carry = C0> + Hex, C0: HexAdd<_0, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_A, H> for _1

where H: HexAdd<_B, Output = R, Carry = C0> + Hex, C0: HexAdd<_0, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_A, H> for _2

where H: HexAdd<_C, Output = R, Carry = C0> + Hex, C0: HexAdd<_0, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_A, H> for _3

where H: HexAdd<_D, Output = R, Carry = C0> + Hex, C0: HexAdd<_0, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_A, H> for _4

where H: HexAdd<_E, Output = R, Carry = C0> + Hex, C0: HexAdd<_0, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_A, H> for _5

where H: HexAdd<_F, Output = R, Carry = C0> + Hex, C0: HexAdd<_0, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_A, H> for _6

where H: HexAdd<_0, Output = R, Carry = C0> + Hex, C0: HexAdd<_1, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_A, H> for _7

where H: HexAdd<_1, Output = R, Carry = C0> + Hex, C0: HexAdd<_1, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_A, H> for _8

where H: HexAdd<_2, Output = R, Carry = C0> + Hex, C0: HexAdd<_1, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_A, H> for _9

where H: HexAdd<_3, Output = R, Carry = C0> + Hex, C0: HexAdd<_1, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_A, H> for _A

where H: HexAdd<_4, Output = R, Carry = C0> + Hex, C0: HexAdd<_1, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_A, H> for _B

where H: HexAdd<_5, Output = R, Carry = C0> + Hex, C0: HexAdd<_1, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_A, H> for _C

where H: HexAdd<_6, Output = R, Carry = C0> + Hex, C0: HexAdd<_1, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_A, H> for _D

where H: HexAdd<_7, Output = R, Carry = C0> + Hex, C0: HexAdd<_1, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_A, H> for _E

where H: HexAdd<_8, Output = R, Carry = C0> + Hex, C0: HexAdd<_1, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_A, H> for _F

where H: HexAdd<_9, Output = R, Carry = C0> + Hex, C0: HexAdd<_1, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_B, H> for _0

where H: HexAdd<_B, Output = R, Carry = C0> + Hex, C0: HexAdd<_0, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_B, H> for _1

where H: HexAdd<_C, Output = R, Carry = C0> + Hex, C0: HexAdd<_0, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_B, H> for _2

where H: HexAdd<_D, Output = R, Carry = C0> + Hex, C0: HexAdd<_0, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_B, H> for _3

where H: HexAdd<_E, Output = R, Carry = C0> + Hex, C0: HexAdd<_0, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_B, H> for _4

where H: HexAdd<_F, Output = R, Carry = C0> + Hex, C0: HexAdd<_0, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_B, H> for _5

where H: HexAdd<_0, Output = R, Carry = C0> + Hex, C0: HexAdd<_1, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_B, H> for _6

where H: HexAdd<_1, Output = R, Carry = C0> + Hex, C0: HexAdd<_1, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_B, H> for _7

where H: HexAdd<_2, Output = R, Carry = C0> + Hex, C0: HexAdd<_1, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_B, H> for _8

where H: HexAdd<_3, Output = R, Carry = C0> + Hex, C0: HexAdd<_1, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_B, H> for _9

where H: HexAdd<_4, Output = R, Carry = C0> + Hex, C0: HexAdd<_1, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_B, H> for _A

where H: HexAdd<_5, Output = R, Carry = C0> + Hex, C0: HexAdd<_1, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_B, H> for _B

where H: HexAdd<_6, Output = R, Carry = C0> + Hex, C0: HexAdd<_1, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_B, H> for _C

where H: HexAdd<_7, Output = R, Carry = C0> + Hex, C0: HexAdd<_1, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_B, H> for _D

where H: HexAdd<_8, Output = R, Carry = C0> + Hex, C0: HexAdd<_1, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_B, H> for _E

where H: HexAdd<_9, Output = R, Carry = C0> + Hex, C0: HexAdd<_1, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_B, H> for _F

where H: HexAdd<_A, Output = R, Carry = C0> + Hex, C0: HexAdd<_1, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_C, H> for _0

where H: HexAdd<_C, Output = R, Carry = C0> + Hex, C0: HexAdd<_0, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_C, H> for _1

where H: HexAdd<_D, Output = R, Carry = C0> + Hex, C0: HexAdd<_0, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_C, H> for _2

where H: HexAdd<_E, Output = R, Carry = C0> + Hex, C0: HexAdd<_0, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_C, H> for _3

where H: HexAdd<_F, Output = R, Carry = C0> + Hex, C0: HexAdd<_0, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_C, H> for _4

where H: HexAdd<_0, Output = R, Carry = C0> + Hex, C0: HexAdd<_1, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_C, H> for _5

where H: HexAdd<_1, Output = R, Carry = C0> + Hex, C0: HexAdd<_1, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_C, H> for _6

where H: HexAdd<_2, Output = R, Carry = C0> + Hex, C0: HexAdd<_1, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_C, H> for _7

where H: HexAdd<_3, Output = R, Carry = C0> + Hex, C0: HexAdd<_1, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_C, H> for _8

where H: HexAdd<_4, Output = R, Carry = C0> + Hex, C0: HexAdd<_1, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_C, H> for _9

where H: HexAdd<_5, Output = R, Carry = C0> + Hex, C0: HexAdd<_1, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_C, H> for _A

where H: HexAdd<_6, Output = R, Carry = C0> + Hex, C0: HexAdd<_1, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_C, H> for _B

where H: HexAdd<_7, Output = R, Carry = C0> + Hex, C0: HexAdd<_1, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_C, H> for _C

where H: HexAdd<_8, Output = R, Carry = C0> + Hex, C0: HexAdd<_1, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_C, H> for _D

where H: HexAdd<_9, Output = R, Carry = C0> + Hex, C0: HexAdd<_1, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_C, H> for _E

where H: HexAdd<_A, Output = R, Carry = C0> + Hex, C0: HexAdd<_1, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_C, H> for _F

where H: HexAdd<_B, Output = R, Carry = C0> + Hex, C0: HexAdd<_1, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_D, H> for _0

where H: HexAdd<_D, Output = R, Carry = C0> + Hex, C0: HexAdd<_0, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_D, H> for _1

where H: HexAdd<_E, Output = R, Carry = C0> + Hex, C0: HexAdd<_0, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_D, H> for _2

where H: HexAdd<_F, Output = R, Carry = C0> + Hex, C0: HexAdd<_0, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_D, H> for _3

where H: HexAdd<_0, Output = R, Carry = C0> + Hex, C0: HexAdd<_1, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_D, H> for _4

where H: HexAdd<_1, Output = R, Carry = C0> + Hex, C0: HexAdd<_1, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_D, H> for _5

where H: HexAdd<_2, Output = R, Carry = C0> + Hex, C0: HexAdd<_1, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_D, H> for _6

where H: HexAdd<_3, Output = R, Carry = C0> + Hex, C0: HexAdd<_1, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_D, H> for _7

where H: HexAdd<_4, Output = R, Carry = C0> + Hex, C0: HexAdd<_1, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_D, H> for _8

where H: HexAdd<_5, Output = R, Carry = C0> + Hex, C0: HexAdd<_1, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_D, H> for _9

where H: HexAdd<_6, Output = R, Carry = C0> + Hex, C0: HexAdd<_1, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_D, H> for _A

where H: HexAdd<_7, Output = R, Carry = C0> + Hex, C0: HexAdd<_1, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_D, H> for _B

where H: HexAdd<_8, Output = R, Carry = C0> + Hex, C0: HexAdd<_1, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_D, H> for _C

where H: HexAdd<_9, Output = R, Carry = C0> + Hex, C0: HexAdd<_1, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_D, H> for _D

where H: HexAdd<_A, Output = R, Carry = C0> + Hex, C0: HexAdd<_1, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_D, H> for _E

where H: HexAdd<_B, Output = R, Carry = C0> + Hex, C0: HexAdd<_1, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_D, H> for _F

where H: HexAdd<_C, Output = R, Carry = C0> + Hex, C0: HexAdd<_1, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_E, H> for _0

where H: HexAdd<_E, Output = R, Carry = C0> + Hex, C0: HexAdd<_0, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_E, H> for _1

where H: HexAdd<_F, Output = R, Carry = C0> + Hex, C0: HexAdd<_0, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_E, H> for _2

where H: HexAdd<_0, Output = R, Carry = C0> + Hex, C0: HexAdd<_1, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_E, H> for _3

where H: HexAdd<_1, Output = R, Carry = C0> + Hex, C0: HexAdd<_1, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_E, H> for _4

where H: HexAdd<_2, Output = R, Carry = C0> + Hex, C0: HexAdd<_1, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_E, H> for _5

where H: HexAdd<_3, Output = R, Carry = C0> + Hex, C0: HexAdd<_1, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_E, H> for _6

where H: HexAdd<_4, Output = R, Carry = C0> + Hex, C0: HexAdd<_1, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_E, H> for _7

where H: HexAdd<_5, Output = R, Carry = C0> + Hex, C0: HexAdd<_1, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_E, H> for _8

where H: HexAdd<_6, Output = R, Carry = C0> + Hex, C0: HexAdd<_1, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_E, H> for _9

where H: HexAdd<_7, Output = R, Carry = C0> + Hex, C0: HexAdd<_1, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_E, H> for _A

where H: HexAdd<_8, Output = R, Carry = C0> + Hex, C0: HexAdd<_1, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_E, H> for _B

where H: HexAdd<_9, Output = R, Carry = C0> + Hex, C0: HexAdd<_1, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_E, H> for _C

where H: HexAdd<_A, Output = R, Carry = C0> + Hex, C0: HexAdd<_1, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_E, H> for _D

where H: HexAdd<_B, Output = R, Carry = C0> + Hex, C0: HexAdd<_1, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_E, H> for _E

where H: HexAdd<_C, Output = R, Carry = C0> + Hex, C0: HexAdd<_1, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_E, H> for _F

where H: HexAdd<_D, Output = R, Carry = C0> + Hex, C0: HexAdd<_1, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_F, H> for _0

where H: HexAdd<_F, Output = R, Carry = C0> + Hex, C0: HexAdd<_0, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_F, H> for _1

where H: HexAdd<_0, Output = R, Carry = C0> + Hex, C0: HexAdd<_1, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_F, H> for _2

where H: HexAdd<_1, Output = R, Carry = C0> + Hex, C0: HexAdd<_1, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_F, H> for _3

where H: HexAdd<_2, Output = R, Carry = C0> + Hex, C0: HexAdd<_1, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_F, H> for _4

where H: HexAdd<_3, Output = R, Carry = C0> + Hex, C0: HexAdd<_1, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_F, H> for _5

where H: HexAdd<_4, Output = R, Carry = C0> + Hex, C0: HexAdd<_1, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_F, H> for _6

where H: HexAdd<_5, Output = R, Carry = C0> + Hex, C0: HexAdd<_1, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_F, H> for _7

where H: HexAdd<_6, Output = R, Carry = C0> + Hex, C0: HexAdd<_1, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_F, H> for _8

where H: HexAdd<_7, Output = R, Carry = C0> + Hex, C0: HexAdd<_1, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_F, H> for _9

where H: HexAdd<_8, Output = R, Carry = C0> + Hex, C0: HexAdd<_1, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_F, H> for _A

where H: HexAdd<_9, Output = R, Carry = C0> + Hex, C0: HexAdd<_1, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_F, H> for _B

where H: HexAdd<_A, Output = R, Carry = C0> + Hex, C0: HexAdd<_1, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_F, H> for _C

where H: HexAdd<_B, Output = R, Carry = C0> + Hex, C0: HexAdd<_1, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_F, H> for _D

where H: HexAdd<_C, Output = R, Carry = C0> + Hex, C0: HexAdd<_1, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_F, H> for _E

where H: HexAdd<_D, Output = R, Carry = C0> + Hex, C0: HexAdd<_1, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr

impl<H, R: Hex, C0, Cr: Hex, C_> HexAdd3<_F, H> for _F

where H: HexAdd<_E, Output = R, Carry = C0> + Hex, C0: HexAdd<_1, Output = Cr, Carry = C_> + Hex, C_: HexAssertEqual<_0> + Hex,

type Output = R

type Carry = Cr