Expand description
A simplified version of rust types.
Modules§
- subst 🔒
Structs§
- TyS 🔒
- A
constvariable ID. - A De Bruijn index is a standard means of representing regions (and perhaps later types) in a higher-ranked setting. In particular, imagine a type like this:
- The source-order index of a field in a variant.
- A region variable ID.
- The raw bytes of a simple value.
- The source-order index of a variant in a type.
Enums§
- An inference variable for a const, for use in const generics.
Constants§
- Equivalent to
VariantIdx(0).