[−][src]Module voile::syntax::abs
Abstract syntax and the desugarer.
Modules
ast | Abstract syntax tree. |
pretty | Pretty-print AST. |
trans | Desugaring the surface syntax tree to an abstract syntax tree. |
Structs
TransState | Translation state. |
Enums
Abs | |
AbsDecl | Type signature and body implementation, with abstract syntax. |
Functions
trans_decls | |
trans_decls_contextual | |
trans_expr |
Type Definitions
LabAbs |