[−][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
merge_info | |
next_uid⚠ | Unique-ID generation function. |