[−][src]Module voile::syntax::common
General definitions, DBI
, etc.
Structs
Ident | Surface syntax tree element: Identifier. Also used in other syntax trees. |
SyntaxInfo | Trivial information about the surface syntax items. |
Enums
DtKind | Various kinds of dependent types |
Statics
UID_COUNT |
Traits
ToSyntaxInfo | Something that holds a |
Functions
next_uid⚠ |
Type Definitions
DBI | De Bruijn Indices. Checkout Wikipedia if you are curious but have no idea about it. |
UID |