nalgebra::base::dimension

Trait ToTypenum

Source 
pub trait ToTypenum {
    type Typenum: Unsigned;
}

Required Associated Types§

Source

type Typenum: Unsigned

Implementors§

Source§

impl ToTypenum for Const<0>

Source§

type Typenum = UTerm

Source§

impl ToTypenum for Const<1>

Source§

type Typenum = UInt<UTerm, B1>

Source§

impl ToTypenum for Const<2>

Source§

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

Source§

impl ToTypenum for Const<3>

Source§

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

Source§

impl ToTypenum for Const<4>

Source§

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

Source§

impl ToTypenum for Const<5>

Source§

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

Source§

impl ToTypenum for Const<6>

Source§

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

Source§

impl ToTypenum for Const<7>

Source§

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

Source§

impl ToTypenum for Const<8>

Source§

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

Source§

impl ToTypenum for Const<9>

Source§

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

Source§

impl ToTypenum for Const<10>

Source§

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

Source§

impl ToTypenum for Const<11>

Source§

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

Source§

impl ToTypenum for Const<12>

Source§

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

Source§

impl ToTypenum for Const<13>

Source§

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

Source§

impl ToTypenum for Const<14>

Source§

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

Source§

impl ToTypenum for Const<15>

Source§

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

Source§

impl ToTypenum for Const<16>

Source§

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

Source§

impl ToTypenum for Const<17>

Source§

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

Source§

impl ToTypenum for Const<18>

Source§

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

Source§

impl ToTypenum for Const<19>

Source§

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

Source§

impl ToTypenum for Const<20>

Source§

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

Source§

impl ToTypenum for Const<21>

Source§

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

Source§

impl ToTypenum for Const<22>

Source§

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

Source§

impl ToTypenum for Const<23>

Source§

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

Source§

impl ToTypenum for Const<24>

Source§

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

Source§

impl ToTypenum for Const<25>

Source§

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

Source§

impl ToTypenum for Const<26>

Source§

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

Source§

impl ToTypenum for Const<27>

Source§

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

Source§

impl ToTypenum for Const<28>

Source§

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

Source§

impl ToTypenum for Const<29>

Source§

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

Source§

impl ToTypenum for Const<30>

Source§

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

Source§

impl ToTypenum for Const<31>

Source§

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

Source§

impl ToTypenum for Const<32>

Source§

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

Source§

impl ToTypenum for Const<33>

Source§

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

Source§

impl ToTypenum for Const<34>

Source§

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

Source§

impl ToTypenum for Const<35>

Source§

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

Source§

impl ToTypenum for Const<36>

Source§

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

Source§

impl ToTypenum for Const<37>

Source§

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

Source§

impl ToTypenum for Const<38>

Source§

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

Source§

impl ToTypenum for Const<39>

Source§

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

Source§

impl ToTypenum for Const<40>

Source§

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

Source§

impl ToTypenum for Const<41>

Source§

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

Source§

impl ToTypenum for Const<42>

Source§

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

Source§

impl ToTypenum for Const<43>

Source§

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

Source§

impl ToTypenum for Const<44>

Source§

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

Source§

impl ToTypenum for Const<45>

Source§

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

Source§

impl ToTypenum for Const<46>

Source§

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

Source§

impl ToTypenum for Const<47>

Source§

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

Source§

impl ToTypenum for Const<48>

Source§

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

Source§

impl ToTypenum for Const<49>

Source§

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

Source§

impl ToTypenum for Const<50>

Source§

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

Source§

impl ToTypenum for Const<51>

Source§

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

Source§

impl ToTypenum for Const<52>

Source§

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

Source§

impl ToTypenum for Const<53>

Source§

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

Source§

impl ToTypenum for Const<54>

Source§

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

Source§

impl ToTypenum for Const<55>

Source§

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

Source§

impl ToTypenum for Const<56>

Source§

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

Source§

impl ToTypenum for Const<57>

Source§

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

Source§

impl ToTypenum for Const<58>

Source§

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

Source§

impl ToTypenum for Const<59>

Source§

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

Source§

impl ToTypenum for Const<60>

Source§

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

Source§

impl ToTypenum for Const<61>

Source§

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

Source§

impl ToTypenum for Const<62>

Source§

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

Source§

impl ToTypenum for Const<63>

Source§

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

Source§

impl ToTypenum for Const<64>

Source§

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

Source§

impl ToTypenum for Const<65>

Source§

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

Source§

impl ToTypenum for Const<66>

Source§

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

Source§

impl ToTypenum for Const<67>

Source§

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

Source§

impl ToTypenum for Const<68>

Source§

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

Source§

impl ToTypenum for Const<69>

Source§

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

Source§

impl ToTypenum for Const<70>

Source§

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

Source§

impl ToTypenum for Const<71>

Source§

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

Source§

impl ToTypenum for Const<72>

Source§

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

Source§

impl ToTypenum for Const<73>

Source§

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

Source§

impl ToTypenum for Const<74>

Source§

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

Source§

impl ToTypenum for Const<75>

Source§

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

Source§

impl ToTypenum for Const<76>

Source§

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

Source§

impl ToTypenum for Const<77>

Source§

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

Source§

impl ToTypenum for Const<78>

Source§

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

Source§

impl ToTypenum for Const<79>

Source§

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

Source§

impl ToTypenum for Const<80>

Source§

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

Source§

impl ToTypenum for Const<81>

Source§

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

Source§

impl ToTypenum for Const<82>

Source§

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

Source§

impl ToTypenum for Const<83>

Source§

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

Source§

impl ToTypenum for Const<84>

Source§

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

Source§

impl ToTypenum for Const<85>

Source§

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

Source§

impl ToTypenum for Const<86>

Source§

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

Source§

impl ToTypenum for Const<87>

Source§

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

Source§

impl ToTypenum for Const<88>

Source§

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

Source§

impl ToTypenum for Const<89>

Source§

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

Source§

impl ToTypenum for Const<90>

Source§

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

Source§

impl ToTypenum for Const<91>

Source§

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

Source§

impl ToTypenum for Const<92>

Source§

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

Source§

impl ToTypenum for Const<93>

Source§

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

Source§

impl ToTypenum for Const<94>

Source§

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

Source§

impl ToTypenum for Const<95>

Source§

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

Source§

impl ToTypenum for Const<96>

Source§

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

Source§

impl ToTypenum for Const<97>

Source§

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

Source§

impl ToTypenum for Const<98>

Source§

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

Source§

impl ToTypenum for Const<99>

Source§

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

Source§

impl ToTypenum for Const<100>

Source§

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

Source§

impl ToTypenum for Const<101>

Source§

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

Source§

impl ToTypenum for Const<102>

Source§

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

Source§

impl ToTypenum for Const<103>

Source§

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

Source§

impl ToTypenum for Const<104>

Source§

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

Source§

impl ToTypenum for Const<105>

Source§

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

Source§

impl ToTypenum for Const<106>

Source§

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

Source§

impl ToTypenum for Const<107>

Source§

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

Source§

impl ToTypenum for Const<108>

Source§

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

Source§

impl ToTypenum for Const<109>

Source§

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

Source§

impl ToTypenum for Const<110>

Source§

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

Source§

impl ToTypenum for Const<111>

Source§

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

Source§

impl ToTypenum for Const<112>

Source§

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

Source§

impl ToTypenum for Const<113>

Source§

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

Source§

impl ToTypenum for Const<114>

Source§

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

Source§

impl ToTypenum for Const<115>

Source§

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

Source§

impl ToTypenum for Const<116>

Source§

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

Source§

impl ToTypenum for Const<117>

Source§

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

Source§

impl ToTypenum for Const<118>

Source§

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

Source§

impl ToTypenum for Const<119>

Source§

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

Source§

impl ToTypenum for Const<120>

Source§

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

Source§

impl ToTypenum for Const<121>

Source§

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

Source§

impl ToTypenum for Const<122>

Source§

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

Source§

impl ToTypenum for Const<123>

Source§

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

Source§

impl ToTypenum for Const<124>

Source§

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

Source§

impl ToTypenum for Const<125>

Source§

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

Source§

impl ToTypenum for Const<126>

Source§

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

Source§

impl ToTypenum for Const<127>

Source§

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