Trait rin::math::dimension::DimName

pub trait DimName: Dim where
    <Self::Value as NamedDim>::Name == Self, {
    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     A: Send + Copy + Sync + PartialEq<A> + Any + Debug + Bit,     B: Send + Copy + Sync + PartialEq<B> + Any + Debug + Bit,     C: Send + Copy + Sync + PartialEq<C> + Any + Debug + Bit,     D: Send + Copy + Sync + PartialEq<D> + Any + Debug + Bit,     E: Send + Copy + Sync + PartialEq<E> + Any + Debug + Bit,     F: Send + Copy + Sync + PartialEq<F> + Any + Debug + Bit,     G: Send + Copy + Sync + PartialEq<G> + Any + Debug + Bit,

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

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

fn dim() -> usize

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

type Value = UInt<U, B>

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

fn dim() -> usize

Implementors

impl DimName for U0

type Value = UTerm

fn name() -> U0

fn dim() -> usize

impl DimName for U1

type Value = UInt<UTerm, B1>

fn name() -> U1

fn dim() -> usize

impl DimName for U10

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

fn name() -> U10

fn dim() -> usize

impl DimName for U100

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

fn name() -> U100

fn dim() -> usize

impl DimName for U101

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

fn name() -> U101

fn dim() -> usize

impl DimName for U102

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

fn name() -> U102

fn dim() -> usize

impl DimName for U103

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

fn name() -> U103

fn dim() -> usize

impl DimName for U104

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

fn name() -> U104

fn dim() -> usize

impl DimName for U105

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

fn name() -> U105

fn dim() -> usize

impl DimName for U106

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

fn name() -> U106

fn dim() -> usize

impl DimName for U107

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

fn name() -> U107

fn dim() -> usize

impl DimName for U109

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

fn name() -> U109

fn dim() -> usize

impl DimName for U11

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

fn name() -> U11

fn dim() -> usize

impl DimName for U110

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

fn name() -> U110

fn dim() -> usize

impl DimName for U111

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

fn name() -> U111

fn dim() -> usize

impl DimName for U112

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

fn name() -> U112

fn dim() -> usize

impl DimName for U113

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

fn name() -> U113

fn dim() -> usize

impl DimName for U114

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

fn name() -> U114

fn dim() -> usize

impl DimName for U115

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

fn name() -> U115

fn dim() -> usize

impl DimName for U116

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

fn name() -> U116

fn dim() -> usize

impl DimName for U117

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

fn name() -> U117

fn dim() -> usize

impl DimName for U118

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

fn name() -> U118

fn dim() -> usize

impl DimName for U119

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

fn name() -> U119

fn dim() -> usize

impl DimName for U12

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

fn name() -> U12

fn dim() -> usize

impl DimName for U120

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

fn name() -> U120

fn dim() -> usize

impl DimName for U121

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

fn name() -> U121

fn dim() -> usize

impl DimName for U122

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

fn name() -> U122

fn dim() -> usize

impl DimName for U123

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

fn name() -> U123

fn dim() -> usize

impl DimName for U126

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

fn name() -> U126

fn dim() -> usize

impl DimName for U127

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

fn name() -> U127

fn dim() -> usize

impl DimName for U13

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

fn name() -> U13

fn dim() -> usize

impl DimName for U14

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

fn name() -> U14

fn dim() -> usize

impl DimName for U16

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

fn name() -> U16

fn dim() -> usize

impl DimName for U17

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

fn name() -> U17

fn dim() -> usize

impl DimName for U18

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

fn name() -> U18

fn dim() -> usize

impl DimName for U19

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

fn name() -> U19

fn dim() -> usize

impl DimName for U20

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

fn name() -> U20

fn dim() -> usize

impl DimName for U21

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

fn name() -> U21

fn dim() -> usize

impl DimName for U22

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

fn name() -> U22

fn dim() -> usize

impl DimName for U23

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

fn name() -> U23

fn dim() -> usize

impl DimName for U24

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

fn name() -> U24

fn dim() -> usize

impl DimName for U25

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

fn name() -> U25

fn dim() -> usize

impl DimName for U26

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

fn name() -> U26

fn dim() -> usize

impl DimName for U28

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

fn name() -> U28

fn dim() -> usize

impl DimName for U29

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

fn name() -> U29

fn dim() -> usize

impl DimName for U3

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

fn name() -> U3

fn dim() -> usize

impl DimName for U30

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

fn name() -> U30

fn dim() -> usize

impl DimName for U31

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

fn name() -> U31

fn dim() -> usize

impl DimName for U32

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

fn name() -> U32

fn dim() -> usize

impl DimName for U33

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

fn name() -> U33

fn dim() -> usize

impl DimName for U34

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

fn name() -> U34

fn dim() -> usize

impl DimName for U35

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

fn name() -> U35

fn dim() -> usize

impl DimName for U36

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

fn name() -> U36

fn dim() -> usize

impl DimName for U37

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

fn name() -> U37

fn dim() -> usize

impl DimName for U39

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

fn name() -> U39

fn dim() -> usize

impl DimName for U4

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

fn name() -> U4

fn dim() -> usize

impl DimName for U40

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

fn name() -> U40

fn dim() -> usize

impl DimName for U41

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

fn name() -> U41

fn dim() -> usize

impl DimName for U42

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

fn name() -> U42

fn dim() -> usize

impl DimName for U43

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

fn name() -> U43

fn dim() -> usize

impl DimName for U44

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

fn name() -> U44

fn dim() -> usize

impl DimName for U45

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

fn name() -> U45

fn dim() -> usize

impl DimName for U46

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

fn name() -> U46

fn dim() -> usize

impl DimName for U47

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

fn name() -> U47

fn dim() -> usize

impl DimName for U48

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

fn name() -> U48

fn dim() -> usize

impl DimName for U5

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

fn name() -> U5

fn dim() -> usize

impl DimName for U50

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

fn name() -> U50

fn dim() -> usize

impl DimName for U51

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

fn name() -> U51

fn dim() -> usize

impl DimName for U52

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

fn name() -> U52

fn dim() -> usize

impl DimName for U53

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

fn name() -> U53

fn dim() -> usize

impl DimName for U54

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

fn name() -> U54

fn dim() -> usize

impl DimName for U55

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

fn name() -> U55

fn dim() -> usize

impl DimName for U56

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

fn name() -> U56

fn dim() -> usize

impl DimName for U57

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

fn name() -> U57

fn dim() -> usize

impl DimName for U58

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

fn name() -> U58

fn dim() -> usize

impl DimName for U59

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

fn name() -> U59

fn dim() -> usize

impl DimName for U61

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

fn name() -> U61

fn dim() -> usize

impl DimName for U62

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

fn name() -> U62

fn dim() -> usize

impl DimName for U63

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

fn name() -> U63

fn dim() -> usize

impl DimName for U64

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

fn name() -> U64

fn dim() -> usize

impl DimName for U65

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

fn name() -> U65

fn dim() -> usize

impl DimName for U66

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

fn name() -> U66

fn dim() -> usize

impl DimName for U67

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

fn name() -> U67

fn dim() -> usize

impl DimName for U68

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

fn name() -> U68

fn dim() -> usize

impl DimName for U69

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

fn name() -> U69

fn dim() -> usize

impl DimName for U70

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

fn name() -> U70

fn dim() -> usize

impl DimName for U71

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

fn name() -> U71

fn dim() -> usize

impl DimName for U72

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

fn name() -> U72

fn dim() -> usize

impl DimName for U73

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

fn name() -> U73

fn dim() -> usize

impl DimName for U74

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

fn name() -> U74

fn dim() -> usize

impl DimName for U75

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

fn name() -> U75

fn dim() -> usize

impl DimName for U77

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

fn name() -> U77

fn dim() -> usize

impl DimName for U78

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

fn name() -> U78

fn dim() -> usize

impl DimName for U79

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

fn name() -> U79

fn dim() -> usize

impl DimName for U8

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

fn name() -> U8

fn dim() -> usize

impl DimName for U80

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

fn name() -> U80

fn dim() -> usize

impl DimName for U81

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

fn name() -> U81

fn dim() -> usize

impl DimName for U82

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

fn name() -> U82

fn dim() -> usize

impl DimName for U83

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

fn name() -> U83

fn dim() -> usize

impl DimName for U84

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

fn name() -> U84

fn dim() -> usize

impl DimName for U85

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

fn name() -> U85

fn dim() -> usize

impl DimName for U86

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

fn name() -> U86

fn dim() -> usize

impl DimName for U87

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

fn name() -> U87

fn dim() -> usize

impl DimName for U88

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

fn name() -> U88

fn dim() -> usize

impl DimName for U89

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

fn name() -> U89

fn dim() -> usize

impl DimName for U9

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

fn name() -> U9

fn dim() -> usize

impl DimName for U90

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

fn name() -> U90

fn dim() -> usize

impl DimName for U91

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

fn name() -> U91

fn dim() -> usize

impl DimName for U92

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

fn name() -> U92

fn dim() -> usize

impl DimName for U93

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

fn name() -> U93

fn dim() -> usize

impl DimName for U94

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

fn name() -> U94

fn dim() -> usize

impl DimName for U95

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

fn name() -> U95

fn dim() -> usize

impl DimName for U96

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

fn name() -> U96

fn dim() -> usize

impl DimName for U99

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

fn name() -> U99

fn dim() -> usize

impl DimName for U108

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

fn name() -> U108

fn dim() -> usize

impl DimName for U124

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

fn name() -> U124

fn dim() -> usize

impl DimName for U125

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

fn name() -> U125

fn dim() -> usize

impl DimName for U15

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

fn name() -> U15

fn dim() -> usize

impl DimName for U2

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

fn name() -> U2

fn dim() -> usize

impl DimName for U27

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

fn name() -> U27

fn dim() -> usize

impl DimName for U38

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

fn name() -> U38

fn dim() -> usize

impl DimName for U49

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

fn name() -> U49

fn dim() -> usize

impl DimName for U6

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

fn name() -> U6

fn dim() -> usize

impl DimName for U60

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

fn name() -> U60

fn dim() -> usize

impl DimName for U7

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

fn name() -> U7

fn dim() -> usize

impl DimName for U76

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

fn name() -> U76

fn dim() -> usize

impl DimName for U97

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

fn name() -> U97

fn dim() -> usize

impl DimName for U98

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

fn name() -> U98

fn dim() -> usize