[−][src]Module voile::syntax::common
General definitions, DBI, etc.
Structs
| DBI | De Bruijn Indices. Checkout Wikipedia if you are curious but have no idea about it. |
| GI | Global reference indices. |
| Ident | Surface syntax tree element: Identifier. Also used in other syntax trees. |
| MI | Meta variable indices (they're resolved as global reference). |
| SyntaxInfo | Trivial information about the surface syntax items. |
| UID |
Enums
| DtKind | Various kinds of dependent types |
Statics
| UID_COUNT |
Traits
| ToSyntaxInfo | Something that holds a |
Functions
| next_uid⚠ |