Trait BitsIn

pub trait BitsIn {
    type Output;
}

Traits for determing how many bits a primitive contains

Required Associated Types

type Output

Implementations on Foreign Types

impl BitsIn for u8

type Output = UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B0>

impl BitsIn for u16

type Output = UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B0>, B0>

impl BitsIn for u32

type Output = UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B0>, B0>, B0>

impl BitsIn for u64

type Output = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B0>, B0>, B0>, B0>

impl BitsIn for usize

type Output = UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B0>, B0>, B0>

Implementors