typenum::generic_const_mappings

Struct 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>

Source§

type Output = UTerm

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

impl ToUInt for Const<1>

Source§

type Output = UInt<UTerm, B1>

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

impl ToUInt for Const<10>

Source§

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>

Source§

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>

Source§

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>

Source§

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>

Source§

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>

Source§

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>

Source§

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>

Source§

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>

Source§

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.
Source§

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.
Source§

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.
Source§

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.
Source§

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.
Source§

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.
Source§

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.
Source§

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.
Source§

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.
Source§

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.
Source§

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>

Source§

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>

Source§

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>

Source§

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>

Source§

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>

Source§

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>

Source§

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>

Source§

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>

Source§

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>

Source§

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>

Source§

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>

Source§

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>

Source§

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>

Source§

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>

Source§

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>

Source§

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>

Source§

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>

Source§

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>

Source§

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>

Source§

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>

Source§

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>

Source§

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>

Source§

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>

Source§

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>

Source§

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>

Source§

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>

Source§

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>

Source§

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>

Source§

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>

Source§

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>

Source§

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>

Source§

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>

Source§

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>

Source§

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>

Source§

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>

Source§

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.
Source§

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>

Source§

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>

Source§

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>

Source§

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>

Source§

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.
Source§

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>

Source§

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>

Source§

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>

Source§

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.
Source§

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>

Source§

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>

Source§

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>

Source§

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>

Source§

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>

Source§

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>

Source§

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>

Source§

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>

Source§

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>

Source§

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>

Source§

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>

Source§

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>

Source§

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>

Source§

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>

Source§

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>

Source§

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>

Source§

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>

Source§

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>

Source§

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>

Source§

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>

Source§

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>

Source§

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>

Source§

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>

Source§

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>

Source§

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>

Source§

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>

Source§

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.
Source§

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>

Source§

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>

Source§

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>

Source§

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>

Source§

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.
Source§

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>

Source§

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>

Source§

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>

Source§

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>

Source§

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.
Source§

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>

Source§

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>

Source§

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>

Source§

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>

Source§

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>

Source§

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>

Source§

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>

Source§

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>

Source§

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>

Source§

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>

Source§

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>

Source§

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>

Source§

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>

Source§

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>

Source§

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>

Source§

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>

Source§

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>

Source§

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>

Source§

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>

Source§

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>

Source§

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>

Source§

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>

Source§

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>

Source§

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>

Source§

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>

Source§

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>

Source§

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>

Source§

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>

Source§

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>

Source§

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>

Source§

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>

Source§

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>

Source§

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.
Source§

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>

Source§

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>

Source§

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>

Source§

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>

Source§

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.
Source§

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>

Source§

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>

Source§

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>

Source§

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>

Source§

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>

Source§

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>

Source§

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.
Source§

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>

Source§

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>

Source§

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>

Source§

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>

Source§

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>

Source§

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>

Source§

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>

Source§

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>

Source§

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>

Source§

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>

Source§

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>

Source§

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>

Source§

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>

Source§

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>

Source§

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>

Source§

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>

Source§

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>

Source§

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>

Source§

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>

Source§

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>

Source§

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>

Source§

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

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

impl ToUInt for Const<20>

Source§

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>

Source§

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>

Source§

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>

Source§

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>

Source§

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>

Source§

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>

Source§

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>

Source§

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>

Source§

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>

Source§

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>

Source§

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>

Source§

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>

Source§

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>

Source§

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>

Source§

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>

Source§

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>

Source§

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>

Source§

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>

Source§

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>

Source§

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>

Source§

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>

Source§

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>

Source§

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>

Source§

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>

Source§

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.
Source§

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>

Source§

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>

Source§

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>

Source§

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>

Source§

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>

Source§

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>

Source§

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>

Source§

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.
Source§

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>

Source§

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>

Source§

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>

Source§

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>

Source§

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>

Source§

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>

Source§

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.
Source§

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>

Source§

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>

Source§

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>

Source§

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>

Source§

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>

Source§

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>

Source§

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>

Source§

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>

Source§

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>

Source§

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>

Source§

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>

Source§

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>

Source§

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>

Source§

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>

Source§

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>

Source§

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>

Source§

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>

Source§

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>

Source§

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>

Source§

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>

Source§

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>

Source§

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>

Source§

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>

Source§

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>

Source§

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>

Source§

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>

Source§

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>

Source§

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>

Source§

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>

Source§

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>

Source§

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>

Source§

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>

Source§

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>

Source§

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>

Source§

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>

Source§

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>

Source§

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>

Source§

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>

Source§

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>

Source§

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>

Source§

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>

Source§

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>

Source§

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>

Source§

type Output = UInt<UInt<UInt<