[−][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. |
| Labelled | Typed label |
| MI | Meta variable indices (they're resolved as global reference). |
| SyntaxInfo | Trivial information about the surface syntax items. |
| UID |
Enums
| PiSig | Various kinds of dependent types |
| VarRec | Row-polymorphic types. |
Statics
| UID_COUNT | Unique-ID generator internal counter. |
Traits
| ToSyntaxInfo | Something that holds a |
Functions
| next_uid⚠ | Unique-ID generation function. |