AnyDSL

AnyDSL

Struct Expression


Contents


Syntax

struct_expr ::= ast_type_app_expr '{' (identifier ':' expr ',')* '}'

The last comma is optional.

Typing

Semantics

Examples