Module nar::syntax::surf::ast

Surface syntax tree.

Structs

NamedTele
Param	Surface syntax: Parameter.

Enums

Expr	Surface syntax elements.
ExprDecl

Type Definitions

ExprCons
ExprCopat	In ExprPat, the ConHead is pseudo, please beware of this fact and do proper desugar to produce valid abstract syntax.
ExprPat
ExprProj