[][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