Struct typenum::generic_const_mappings::Const

source · 
pub struct Const<const N: usize>;
Available on crate feature const-generics only.
Expand description

Used to allow the usage of U in a generic context.

Trait Implementations§

source§

impl ToUInt for Const<0>

§

type Output = UTerm

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<1>

§

type Output = UInt<UTerm, B1>

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<10>

§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<100>

§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<1000>

§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<10000>

§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<100000>

§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<1000000>

§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<10000000>

§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<100000000>

§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<1000000000>

§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<10000000000>

Available on 64-bit only.
§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<100000000000>

Available on 64-bit only.
§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<1000000000000>

Available on 64-bit only.
§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<10000000000000>

Available on 64-bit only.
§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<100000000000000>

Available on 64-bit only.
§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<1000000000000000>

Available on 64-bit only.
§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<10000000000000000>

Available on 64-bit only.
§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<100000000000000000>

Available on 64-bit only.
§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<1000000000000000000>

Available on 64-bit only.
§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<10000000000000000000>

Available on 64-bit only.
§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<1001>

§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<1002>

§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<1003>

§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<1004>

§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<1005>

§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<1006>

§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<1007>

§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<1008>

§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<1009>

§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<101>

§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<1010>

§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<1011>

§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<1012>

§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<1013>

§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<1014>

§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<1015>

§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<1016>

§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<1017>

§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<1018>

§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<1019>

§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<102>

§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<1020>

§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<1021>

§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<1022>

§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<1023>

§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<1024>

§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<103>

§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<104>

§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<1048576>

§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<105>

§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<106>

§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<107>

§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<1073741824>

§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<108>

§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<109>

§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<1099511627776>

Available on 64-bit only.
§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<11>

§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<110>

§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<111>

§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<112>

§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<1125899906842624>

Available on 64-bit only.
§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<113>

§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<114>

§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<115>

§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<1152921504606846976>

Available on 64-bit only.
§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<116>

§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<117>

§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<118>

§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<119>

§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<12>

§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<120>

§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<121>

§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<122>

§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<123>

§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<124>

§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<125>

§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<126>

§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<127>

§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<128>

§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<129>

§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<13>

§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<130>

§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<131>

§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<131072>

§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<132>

§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<133>

§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<134>

§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<134217728>

§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<135>

§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<136>

§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<137>

§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<137438953472>

Available on 64-bit only.
§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<138>

§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<139>

§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<14>

§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<140>

§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<140737488355328>

Available on 64-bit only.
§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<141>

§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<142>

§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<143>

§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<144>

§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<144115188075855872>

Available on 64-bit only.
§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<145>

§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<146>

§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<147>

§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<148>

§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<149>

§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<15>

§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<150>

§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<151>

§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<152>

§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<153>

§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<154>

§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<155>

§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<156>

§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<157>

§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<158>

§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<159>

§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<16>

§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<160>

§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<161>

§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<162>

§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<163>

§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<16384>

§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<164>

§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<165>

§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<166>

§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<167>

§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<16777216>

§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<168>

§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<169>

§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<17>

§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<170>

§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<171>

§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<17179869184>

Available on 64-bit only.
§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<172>

§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<173>

§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<174>

§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<175>

§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<17592186044416>

Available on 64-bit only.
§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<176>

§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<177>

§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<178>

§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<179>

§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<18>

§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<180>

§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<18014398509481984>

Available on 64-bit only.
§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<181>

§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<182>

§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<183>

§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<184>

§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<185>

§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<186>

§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<187>

§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<188>

§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<189>

§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<19>

§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<190>

§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<191>

§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<192>

§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<193>

§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<194>

§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<195>

§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<196>

§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<197>

§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<198>

§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<199>

§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<2>

§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<20>

§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<200>

§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<201>

§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<202>

§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<203>

§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<204>

§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<2048>

§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<205>

§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<206>

§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<207>

§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<208>

§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<209>

§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<2097152>

§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<21>

§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<210>

§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<211>

§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<212>

§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<213>

§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<214>

§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<2147483648>

§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<215>

§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<216>

§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<217>

§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<218>

§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<219>

§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<2199023255552>

Available on 64-bit only.
§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<22>

§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<220>

§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<221>

§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<222>

§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<223>

§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<224>

§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<225>

§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<2251799813685248>

Available on 64-bit only.
§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<226>

§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<227>

§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<228>

§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<229>

§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<23>

§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<230>

§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<2305843009213693952>

Available on 64-bit only.
§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<231>

§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<232>

§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<233>

§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<234>

§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<235>

§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<236>

§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<237>

§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<238>

§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<239>

§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<24>

§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<240>

§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<241>

§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<242>

§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<243>

§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<244>

§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<245>

§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<246>

§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<247>

§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<248>

§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<249>

§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<25>

§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<250>

§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<251>

§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<252>

§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<253>

§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<254>

§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<255>

§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<256>

§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<257>

§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<258>

§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<259>

§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<26>

§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<260>

§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<261>

§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<262>

§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<262144>

§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<263>

§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<264>

§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<265>

§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<266>

§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<267>

§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<268>

§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<268435456>

§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<269>

§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<27>

§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<270>

§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<271>

§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<272>

§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<273>

§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<274>

§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<274877906944>

Available on 64-bit only.
§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<275>

§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<276>

§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<277>

§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<278>

§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<279>

§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<28>

§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<280>

§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<281>

§

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

The UN type corresponding to Self = Const<N>.
source§

impl ToUInt for Const<281474976710656>

Available on 64-bit only.
§

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