[−][src]Module voile::syntax::abs::trans
Desugaring the surface syntax tree to an abstract syntax tree.
Structs
| TransState | Translation state. |
Functions
| introduce_abstractions | |
| introduce_telescope | |
| trans_decls | |
| trans_decls_contextual | |
| trans_dependent_type | |
| trans_expr | |
| trans_expr_inner | |
| trans_one_decl |
Type Definitions
| GlobCtx | Key: global declaration name; Value: global declaration index. |
| LocalCtx | Key: local declaration name; Value: de-bruijn indices. |