Trait nyx_space::dimensions::DimName

pub trait DimName: Dim {
    type Value: NamedDim;
    fn name() -> Self;

    fn dim() -> usize { ... }
}

Trait implemented exclusively by type-level integers.

Associated Types

type Value: NamedDim

Required methods

fn name() -> Self

The name of this dimension, i.e., the singleton Self.

Provided methods

fn dim() -> usize

The value of this dimension.

Implementations on Foreign Types

impl<A, B, C, D, E, F, G> DimName for UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, A>, B>, C>, D>, E>, F>, G> where
    C: Bit + Any + Debug + Copy + PartialEq<C> + Send + Sync,
    D: Bit + Any + Debug + Copy + PartialEq<D> + Send + Sync,
    E: Bit + Any + Debug + Copy + PartialEq<E> + Send + Sync,
    F: Bit + Any + Debug + Copy + PartialEq<F> + Send + Sync,
    G: Bit + Any + Debug + Copy + PartialEq<G> + Send + Sync,
    A: Bit + Any + Debug + Copy + PartialEq<A> + Send + Sync,
    B: Bit + Any + Debug + Copy + PartialEq<B> + Send + Sync, 

type Value = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, A>, B>, C>, D>, E>, F>, G>

pub fn name(
) -> UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, A>, B>, C>, D>, E>, F>, G>

impl<U, B> DimName for UInt<U, B> where
    B: Bit + Any + Debug + Copy + PartialEq<B> + Send + Sync,
    U: Unsigned + DimName, 

type Value = UInt<U, B>

pub fn name() -> UInt<U, B>

Implementors

impl DimName for U0

type Value = UTerm

pub fn name() -> U0

impl DimName for U1

type Value = UInt<UTerm, B1>

pub fn name() -> U1

impl DimName for U2

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

pub fn name() -> U2

impl DimName for U3

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

pub fn name() -> U3

impl DimName for U4

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

pub fn name() -> U4

impl DimName for U5

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

pub fn name() -> U5

impl DimName for U6

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

pub fn name() -> U6

impl DimName for U7

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

pub fn name() -> U7

impl DimName for U8

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

pub fn name() -> U8

impl DimName for U9

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

pub fn name() -> U9

impl DimName for U10

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

pub fn name() -> U10

impl DimName for U11

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

pub fn name() -> U11

impl DimName for U12

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

pub fn name() -> U12

impl DimName for U13

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

pub fn name() -> U13

impl DimName for U14

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

pub fn name() -> U14

impl DimName for U15

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

pub fn name() -> U15

impl DimName for U16

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

pub fn name() -> U16

impl DimName for U17

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

pub fn name() -> U17

impl DimName for U18

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

pub fn name() -> U18

impl DimName for U19

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

pub fn name() -> U19

impl DimName for U20

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

pub fn name() -> U20

impl DimName for U21

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

pub fn name() -> U21

impl DimName for U22

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

pub fn name() -> U22

impl DimName for U23

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

pub fn name() -> U23

impl DimName for U24

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

pub fn name() -> U24

impl DimName for U25

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

pub fn name() -> U25

impl DimName for U26

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

pub fn name() -> U26

impl DimName for U27

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

pub fn name() -> U27

impl DimName for U28

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

pub fn name() -> U28

impl DimName for U29

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

pub fn name() -> U29

impl DimName for U30

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

pub fn name() -> U30

impl DimName for U31

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

pub fn name() -> U31

impl DimName for U32

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

pub fn name() -> U32

impl DimName for U33

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

pub fn name() -> U33

impl DimName for U34

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

pub fn name() -> U34

impl DimName for U35

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

pub fn name() -> U35

impl DimName for U36

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

pub fn name() -> U36

impl DimName for U37

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

pub fn name() -> U37

impl DimName for U38

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

pub fn name() -> U38

impl DimName for U39

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

pub fn name() -> U39

impl DimName for U40

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

pub fn name() -> U40

impl DimName for U41

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

pub fn name() -> U41

impl DimName for U42

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

pub fn name() -> U42

impl DimName for U43

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

pub fn name() -> U43

impl DimName for U44

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

pub fn name() -> U44

impl DimName for U45

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

pub fn name() -> U45

impl DimName for U46

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

pub fn name() -> U46

impl DimName for U47

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

pub fn name() -> U47

impl DimName for U48

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

pub fn name() -> U48

impl DimName for U49

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

pub fn name() -> U49

impl DimName for U50

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

pub fn name() -> U50

impl DimName for U51

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

pub fn name() -> U51

impl DimName for U52

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

pub fn name() -> U52

impl DimName for U53

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

pub fn name() -> U53

impl DimName for U54

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

pub fn name() -> U54

impl DimName for U55

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

pub fn name() -> U55

impl DimName for U56

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

pub fn name() -> U56

impl DimName for U57

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

pub fn name() -> U57

impl DimName for U58

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

pub fn name() -> U58

impl DimName for U59

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

pub fn name() -> U59

impl DimName for U60

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

pub fn name() -> U60

impl DimName for U61

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

pub fn name() -> U61

impl DimName for U62

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

pub fn name() -> U62

impl DimName for U63

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

pub fn name() -> U63

impl DimName for U64

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

pub fn name() -> U64

impl DimName for U65

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

pub fn name() -> U65

impl DimName for U66

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

pub fn name() -> U66

impl DimName for U67

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

pub fn name() -> U67

impl DimName for U68

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

pub fn name() -> U68

impl DimName for U69

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

pub fn name() -> U69

impl DimName for U70

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

pub fn name() -> U70

impl DimName for U71

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

pub fn name() -> U71

impl DimName for U72

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

pub fn name() -> U72

impl DimName for U73

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

pub fn name() -> U73

impl DimName for U74

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

pub fn name() -> U74

impl DimName for U75

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

pub fn name() -> U75

impl DimName for U76

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

pub fn name() -> U76

impl DimName for U77

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

pub fn name() -> U77

impl DimName for U78

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

pub fn name() -> U78

impl DimName for U79

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

pub fn name() -> U79

impl DimName for U80

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

pub fn name() -> U80

impl DimName for U81

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

pub fn name() -> U81

impl DimName for U82

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

pub fn name() -> U82

impl DimName for U83

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

pub fn name() -> U83

impl DimName for U84

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

pub fn name() -> U84

impl DimName for U85

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

pub fn name() -> U85

impl DimName for U86

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

pub fn name() -> U86

impl DimName for U87

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

pub fn name() -> U87

impl DimName for U88

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

pub fn name() -> U88

impl DimName for U89

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

pub fn name() -> U89

impl DimName for U90

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

pub fn name() -> U90

impl DimName for U91

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

pub fn name() -> U91

impl DimName for U92

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

pub fn name() -> U92

impl DimName for U93

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

pub fn name() -> U93

impl DimName for U94

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

pub fn name() -> U94

impl DimName for U95

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

pub fn name() -> U95

impl DimName for U96

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

pub fn name() -> U96

impl DimName for U97

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

pub fn name() -> U97

impl DimName for U98

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

pub fn name() -> U98

impl DimName for U99

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

pub fn name() -> U99

impl DimName for U100

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

pub fn name() -> U100

impl DimName for U101

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

pub fn name() -> U101

impl DimName for U102

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

pub fn name() -> U102

impl DimName for U103

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

pub fn name() -> U103

impl DimName for U104

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

pub fn name() -> U104

impl DimName for U105

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

pub fn name() -> U105

impl DimName for U106

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

pub fn name() -> U106

impl DimName for U107

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

pub fn name() -> U107

impl DimName for U108

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

pub fn name() -> U108

impl DimName for U109

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

pub fn name() -> U109

impl DimName for U110

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

pub fn name() -> U110

impl DimName for U111

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

pub fn name() -> U111

impl DimName for U112

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

pub fn name() -> U112

impl DimName for U113

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

pub fn name() -> U113

impl DimName for U114

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

pub fn name() -> U114

impl DimName for U115

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

pub fn name() -> U115

impl DimName for U116

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

pub fn name() -> U116

impl DimName for U117

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

pub fn name() -> U117

impl DimName for U118

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

pub fn name() -> U118

impl DimName for U119

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

pub fn name() -> U119

impl DimName for U120

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

pub fn name() -> U120

impl DimName for U121

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

pub fn name() -> U121

impl DimName for U122

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

pub fn name() -> U122

impl DimName for U123

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

pub fn name() -> U123

impl DimName for U124

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

pub fn name() -> U124

impl DimName for U125

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

pub fn name() -> U125

impl DimName for U126

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

pub fn name() -> U126

impl DimName for U127

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

pub fn name() -> U127