Trait Split 

pub trait Split<const LO: usize> {
    type Output: Integer;
}

Define the result of splitting a number into two parts, with the first part having the width LO.

Required Associated Types

type Output: Integer

High limbs of output: having the width of Self minus LO.

Implementors

impl Split<{ <$name>::LIMBS / 2 }> for U128

type Output = Uint<{ <$name>::LIMBS / 2 }>

impl Split<{ <$name>::LIMBS / 2 }> for U256

type Output = Uint<{ <$name>::LIMBS / 2 }>

impl Split<{ <$name>::LIMBS / 2 }> for U384

type Output = Uint<{ <$name>::LIMBS / 2 }>

impl Split<{ <$name>::LIMBS / 2 }> for U512

type Output = Uint<{ <$name>::LIMBS / 2 }>

impl Split<{ <$name>::LIMBS / 2 }> for U640

type Output = Uint<{ <$name>::LIMBS / 2 }>

impl Split<{ <$name>::LIMBS / 2 }> for U768

type Output = Uint<{ <$name>::LIMBS / 2 }>

impl Split<{ <$name>::LIMBS / 2 }> for U896

type Output = Uint<{ <$name>::LIMBS / 2 }>

impl Split<{ <$name>::LIMBS / 2 }> for U1024

type Output = Uint<{ <$name>::LIMBS / 2 }>

impl Split<{ <$name>::LIMBS / 2 }> for U1280

type Output = Uint<{ <$name>::LIMBS / 2 }>

impl Split<{ <$name>::LIMBS / 2 }> for U1536

type Output = Uint<{ <$name>::LIMBS / 2 }>

impl Split<{ <$name>::LIMBS / 2 }> for U1792

type Output = Uint<{ <$name>::LIMBS / 2 }>

impl Split<{ <$name>::LIMBS / 2 }> for U2048

type Output = Uint<{ <$name>::LIMBS / 2 }>

impl Split<{ <$name>::LIMBS / 2 }> for U3072

type Output = Uint<{ <$name>::LIMBS / 2 }>

impl Split<{ <$name>::LIMBS / 2 }> for U3584

type Output = Uint<{ <$name>::LIMBS / 2 }>

impl Split<{ <$name>::LIMBS / 2 }> for U4096

type Output = Uint<{ <$name>::LIMBS / 2 }>

impl Split<{ <$name>::LIMBS / 2 }> for U4224

type Output = Uint<{ <$name>::LIMBS / 2 }>

impl Split<{ <$name>::LIMBS / 2 }> for U4352

type Output = Uint<{ <$name>::LIMBS / 2 }>

impl Split<{ <$name>::LIMBS / 2 }> for U6144

type Output = Uint<{ <$name>::LIMBS / 2 }>

impl Split<{ <$name>::LIMBS / 2 }> for U8192

type Output = Uint<{ <$name>::LIMBS / 2 }>

impl Split<{ <$name>::LIMBS / 2 }> for U16384

type Output = Uint<{ <$name>::LIMBS / 2 }>

impl Split<{ U64::LIMBS * $size }> for U192

type Output = Uint<{ <$name>::LIMBS - U64::LIMBS * $size }>

impl Split<{ U64::LIMBS * $size }> for U192

type Output = Uint<{ <$name>::LIMBS - U64::LIMBS * $size }>

impl Split<{ U64::LIMBS * $size }> for U256

type Output = Uint<{ <$name>::LIMBS - U64::LIMBS * $size }>

impl Split<{ U64::LIMBS * $size }> for U256

type Output = Uint<{ <$name>::LIMBS - U64::LIMBS * $size }>

impl Split<{ U64::LIMBS * $size }> for U320

type Output = Uint<{ <$name>::LIMBS - U64::LIMBS * $size }>

impl Split<{ U64::LIMBS * $size }> for U320

type Output = Uint<{ <$name>::LIMBS - U64::LIMBS * $size }>

impl Split<{ U64::LIMBS * $size }> for U320

type Output = Uint<{ <$name>::LIMBS - U64::LIMBS * $size }>

impl Split<{ U64::LIMBS * $size }> for U320

type Output = Uint<{ <$name>::LIMBS - U64::LIMBS * $size }>

impl Split<{ U64::LIMBS * $size }> for U384

type Output = Uint<{ <$name>::LIMBS - U64::LIMBS * $size }>

impl Split<{ U64::LIMBS * $size }> for U384

type Output = Uint<{ <$name>::LIMBS - U64::LIMBS * $size }>

impl Split<{ U64::LIMBS * $size }> for U384

type Output = Uint<{ <$name>::LIMBS - U64::LIMBS * $size }>

impl Split<{ U64::LIMBS * $size }> for U384

type Output = Uint<{ <$name>::LIMBS - U64::LIMBS * $size }>

impl Split<{ U64::LIMBS * $size }> for U448

type Output = Uint<{ <$name>::LIMBS - U64::LIMBS * $size }>

impl Split<{ U64::LIMBS * $size }> for U448

type Output = Uint<{ <$name>::LIMBS - U64::LIMBS * $size }>

impl Split<{ U64::LIMBS * $size }> for U448

type Output = Uint<{ <$name>::LIMBS - U64::LIMBS * $size }>

impl Split<{ U64::LIMBS * $size }> for U448

type Output = Uint<{ <$name>::LIMBS - U64::LIMBS * $size }>

impl Split<{ U64::LIMBS * $size }> for U448

type Output = Uint<{ <$name>::LIMBS - U64::LIMBS * $size }>

impl Split<{ U64::LIMBS * $size }> for U448

type Output = Uint<{ <$name>::LIMBS - U64::LIMBS * $size }>

impl Split<{ U64::LIMBS * $size }> for U512

type Output = Uint<{ <$name>::LIMBS - U64::LIMBS * $size }>

impl Split<{ U64::LIMBS * $size }> for U512

type Output = Uint<{ <$name>::LIMBS - U64::LIMBS * $size }>

impl Split<{ U64::LIMBS * $size }> for U512

type Output = Uint<{ <$name>::LIMBS - U64::LIMBS * $size }>

impl Split<{ U64::LIMBS * $size }> for U512

type Output = Uint<{ <$name>::LIMBS - U64::LIMBS * $size }>

impl Split<{ U64::LIMBS * $size }> for U512

type Output = Uint<{ <$name>::LIMBS - U64::LIMBS * $size }>

impl Split<{ U64::LIMBS * $size }> for U512

type Output = Uint<{ <$name>::LIMBS - U64::LIMBS * $size }>

impl Split<{ U64::LIMBS * $size }> for U576

type Output = Uint<{ <$name>::LIMBS - U64::LIMBS * $size }>

impl Split<{ U64::LIMBS * $size }> for U576

type Output = Uint<{ <$name>::LIMBS - U64::LIMBS * $size }>

impl Split<{ U64::LIMBS * $size }> for U576

type Output = Uint<{ <$name>::LIMBS - U64::LIMBS * $size }>

impl Split<{ U64::LIMBS * $size }> for U576

type Output = Uint<{ <$name>::LIMBS - U64::LIMBS * $size }>

impl Split<{ U64::LIMBS * $size }> for U576

type Output = Uint<{ <$name>::LIMBS - U64::LIMBS * $size }>

impl Split<{ U64::LIMBS * $size }> for U576

type Output = Uint<{ <$name>::LIMBS - U64::LIMBS * $size }>

impl Split<{ U64::LIMBS * $size }> for U576

type Output = Uint<{ <$name>::LIMBS - U64::LIMBS * $size }>

impl Split<{ U64::LIMBS * $size }> for U576

type Output = Uint<{ <$name>::LIMBS - U64::LIMBS * $size }>

impl Split<{ U64::LIMBS * $size }> for U640

type Output = Uint<{ <$name>::LIMBS - U64::LIMBS * $size }>

impl Split<{ U64::LIMBS * $size }> for U640

type Output = Uint<{ <$name>::LIMBS - U64::LIMBS * $size }>

impl Split<{ U64::LIMBS * $size }> for U640

type Output = Uint<{ <$name>::LIMBS - U64::LIMBS * $size }>

impl Split<{ U64::LIMBS * $size }> for U640

type Output = Uint<{ <$name>::LIMBS - U64::LIMBS * $size }>

impl Split<{ U64::LIMBS * $size }> for U640

type Output = Uint<{ <$name>::LIMBS - U64::LIMBS * $size }>

impl Split<{ U64::LIMBS * $size }> for U640

type Output = Uint<{ <$name>::LIMBS - U64::LIMBS * $size }>

impl Split<{ U64::LIMBS * $size }> for U640

type Output = Uint<{ <$name>::LIMBS - U64::LIMBS * $size }>

impl Split<{ U64::LIMBS * $size }> for U640

type Output = Uint<{ <$name>::LIMBS - U64::LIMBS * $size }>

impl Split<{ U64::LIMBS * $size }> for U704

type Output = Uint<{ <$name>::LIMBS - U64::LIMBS * $size }>

impl Split<{ U64::LIMBS * $size }> for U704

type Output = Uint<{ <$name>::LIMBS - U64::LIMBS * $size }>

impl Split<{ U64::LIMBS * $size }> for U704

type Output = Uint<{ <$name>::LIMBS - U64::LIMBS * $size }>

impl Split<{ U64::LIMBS * $size }> for U704

type Output = Uint<{ <$name>::LIMBS - U64::LIMBS * $size }>

impl Split<{ U64::LIMBS * $size }> for U704

type Output = Uint<{ <$name>::LIMBS - U64::LIMBS * $size }>

impl Split<{ U64::LIMBS * $size }> for U704

type Output = Uint<{ <$name>::LIMBS - U64::LIMBS * $size }>

impl Split<{ U64::LIMBS * $size }> for U704

type Output = Uint<{ <$name>::LIMBS - U64::LIMBS * $size }>

impl Split<{ U64::LIMBS * $size }> for U704

type Output = Uint<{ <$name>::LIMBS - U64::LIMBS * $size }>

impl Split<{ U64::LIMBS * $size }> for U704

type Output = Uint<{ <$name>::LIMBS - U64::LIMBS * $size }>

impl Split<{ U64::LIMBS * $size }> for U704

type Output = Uint<{ <$name>::LIMBS - U64::LIMBS * $size }>

impl Split<{ U64::LIMBS * $size }> for U768

type Output = Uint<{ <$name>::LIMBS - U64::LIMBS * $size }>

impl Split<{ U64::LIMBS * $size }> for U768

type Output = Uint<{ <$name>::LIMBS - U64::LIMBS * $size }>

impl Split<{ U64::LIMBS * $size }> for U768

type Output = Uint<{ <$name>::LIMBS - U64::LIMBS * $size }>

impl Split<{ U64::LIMBS * $size }> for U768

type Output = Uint<{ <$name>::LIMBS - U64::LIMBS * $size }>

impl Split<{ U64::LIMBS * $size }> for U768

type Output = Uint<{ <$name>::LIMBS - U64::LIMBS * $size }>

impl Split<{ U64::LIMBS * $size }> for U768

type Output = Uint<{ <$name>::LIMBS - U64::LIMBS * $size }>

impl Split<{ U64::LIMBS * $size }> for U768

type Output = Uint<{ <$name>::LIMBS - U64::LIMBS * $size }>

impl Split<{ U64::LIMBS * $size }> for U768

type Output = Uint<{ <$name>::LIMBS - U64::LIMBS * $size }>

impl Split<{ U64::LIMBS * $size }> for U768

type Output = Uint<{ <$name>::LIMBS - U64::LIMBS * $size }>

impl Split<{ U64::LIMBS * $size }> for U768

type Output = Uint<{ <$name>::LIMBS - U64::LIMBS * $size }>

impl Split<{ U64::LIMBS * $size }> for U832

type Output = Uint<{ <$name>::LIMBS - U64::LIMBS * $size }>

impl Split<{ U64::LIMBS * $size }> for U832

type Output = Uint<{ <$name>::LIMBS - U64::LIMBS * $size }>

impl Split<{ U64::LIMBS * $size }> for U832

type Output = Uint<{ <$name>::LIMBS - U64::LIMBS * $size }>

impl Split<{ U64::LIMBS * $size }> for U832

type Output = Uint<{ <$name>::LIMBS - U64::LIMBS * $size }>

impl Split<{ U64::LIMBS * $size }> for U832

type Output = Uint<{ <$name>::LIMBS - U64::LIMBS * $size }>

impl Split<{ U64::LIMBS * $size }> for U832

type Output = Uint<{ <$name>::LIMBS - U64::LIMBS * $size }>

impl Split<{ U64::LIMBS * $size }> for U832

type Output = Uint<{ <$name>::LIMBS - U64::LIMBS * $size }>

impl Split<{ U64::LIMBS * $size }> for U832

type Output = Uint<{ <$name>::LIMBS - U64::LIMBS * $size }>

impl Split<{ U64::LIMBS * $size }> for U832

type Output = Uint<{ <$name>::LIMBS - U64::LIMBS * $size }>

impl Split<{ U64::LIMBS * $size }> for U832

type Output = Uint<{ <$name>::LIMBS - U64::LIMBS * $size }>

impl Split<{ U64::LIMBS * $size }> for U832

type Output = Uint<{ <$name>::LIMBS - U64::LIMBS * $size }>

impl Split<{ U64::LIMBS * $size }> for U832

type Output = Uint<{ <$name>::LIMBS - U64::LIMBS * $size }>

impl Split<{ U64::LIMBS * $size }> for U896

type Output = Uint<{ <$name>::LIMBS - U64::LIMBS * $size }>

impl Split<{ U64::LIMBS * $size }> for U896

type Output = Uint<{ <$name>::LIMBS - U64::LIMBS * $size }>

impl Split<{ U64::LIMBS * $size }> for U896

type Output = Uint<{ <$name>::LIMBS - U64::LIMBS * $size }>

impl Split<{ U64::LIMBS * $size }> for U896

type Output = Uint<{ <$name>::LIMBS - U64::LIMBS * $size }>

impl Split<{ U64::LIMBS * $size }> for U896

type Output = Uint<{ <$name>::LIMBS - U64::LIMBS * $size }>

impl Split<{ U64::LIMBS * $size }> for U896

type Output = Uint<{ <$name>::LIMBS - U64::LIMBS * $size }>

impl Split<{ U64::LIMBS * $size }> for U896

type Output = Uint<{ <$name>::LIMBS - U64::LIMBS * $size }>

impl Split<{ U64::LIMBS * $size }> for U896

type Output = Uint<{ <$name>::LIMBS - U64::LIMBS * $size }>

impl Split<{ U64::LIMBS * $size }> for U896

type Output = Uint<{ <$name>::LIMBS - U64::LIMBS * $size }>

impl Split<{ U64::LIMBS * $size }> for U896

type Output = Uint<{ <$name>::LIMBS - U64::LIMBS * $size }>

impl Split<{ U64::LIMBS * $size }> for U896

type Output = Uint<{ <$name>::LIMBS - U64::LIMBS * $size }>

impl Split<{ U64::LIMBS * $size }> for U896

type Output = Uint<{ <$name>::LIMBS - U64::LIMBS * $size }>

impl Split<{ U64::LIMBS * $size }> for U960

type Output = Uint<{ <$name>::LIMBS - U64::LIMBS * $size }>

impl Split<{ U64::LIMBS * $size }> for U960

type Output = Uint<{ <$name>::LIMBS - U64::LIMBS * $size }>

impl Split<{ U64::LIMBS * $size }> for U960

type Output = Uint<{ <$name>::LIMBS - U64::LIMBS * $size }>

impl Split<{ U64::LIMBS * $size }> for U960

type Output = Uint<{ <$name>::LIMBS - U64::LIMBS * $size }>

impl Split<{ U64::LIMBS * $size }> for U960

type Output = Uint<{ <$name>::LIMBS - U64::LIMBS * $size }>

impl Split<{ U64::LIMBS * $size }> for U960

type Output = Uint<{ <$name>::LIMBS - U64::LIMBS * $size }>

impl Split<{ U64::LIMBS * $size }> for U960

type Output = Uint<{ <$name>::LIMBS - U64::LIMBS * $size }>

impl Split<{ U64::LIMBS * $size }> for U960

type Output = Uint<{ <$name>::LIMBS - U64::LIMBS * $size }>

impl Split<{ U64::LIMBS * $size }> for U960

type Output = Uint<{ <$name>::LIMBS - U64::LIMBS * $size }>

impl Split<{ U64::LIMBS * $size }> for U960

type Output = Uint<{ <$name>::LIMBS - U64::LIMBS * $size }>

impl Split<{ U64::LIMBS * $size }> for U960

type Output = Uint<{ <$name>::LIMBS - U64::LIMBS * $size }>

impl Split<{ U64::LIMBS * $size }> for U960

type Output = Uint<{ <$name>::LIMBS - U64::LIMBS * $size }>

impl Split<{ U64::LIMBS * $size }> for U960

type Output = Uint<{ <$name>::LIMBS - U64::LIMBS * $size }>

impl Split<{ U64::LIMBS * $size }> for U960

type Output = Uint<{ <$name>::LIMBS - U64::LIMBS * $size }>

impl Split<{ U64::LIMBS * $size }> for U1024

type Output = Uint<{ <$name>::LIMBS - U64::LIMBS * $size }>

impl Split<{ U64::LIMBS * $size }> for U1024

type Output = Uint<{ <$name>::LIMBS - U64::LIMBS * $size }>

impl Split<{ U64::LIMBS * $size }> for U1024

type Output = Uint<{ <$name>::LIMBS - U64::LIMBS * $size }>

impl Split<{ U64::LIMBS * $size }> for U1024

type Output = Uint<{ <$name>::LIMBS - U64::LIMBS * $size }>

impl Split<{ U64::LIMBS * $size }> for U1024

type Output = Uint<{ <$name>::LIMBS - U64::LIMBS * $size }>

impl Split<{ U64::LIMBS * $size }> for U1024

type Output = Uint<{ <$name>::LIMBS - U64::LIMBS * $size }>

impl Split<{ U64::LIMBS * $size }> for U1024

type Output = Uint<{ <$name>::LIMBS - U64::LIMBS * $size }>

impl Split<{ U64::LIMBS * $size }> for U1024

type Output = Uint<{ <$name>::LIMBS - U64::LIMBS * $size }>

impl Split<{ U64::LIMBS * $size }> for U1024

type Output = Uint<{ <$name>::LIMBS - U64::LIMBS * $size }>

impl Split<{ U64::LIMBS * $size }> for U1024

type Output = Uint<{ <$name>::LIMBS - U64::LIMBS * $size }>

impl Split<{ U64::LIMBS * $size }> for U1024

type Output = Uint<{ <$name>::LIMBS - U64::LIMBS * $size }>

impl Split<{ U64::LIMBS * $size }> for U1024

type Output = Uint<{ <$name>::LIMBS - U64::LIMBS * $size }>

impl Split<{ U64::LIMBS * $size }> for U1024

type Output = Uint<{ <$name>::LIMBS - U64::LIMBS * $size }>

impl Split<{ U64::LIMBS * $size }> for U1024

type Output = Uint<{ <$name>::LIMBS - U64::LIMBS * $size }>