Struct Expression
Contents
Syntax
struct_expr ::= ast_type_app_expr '{' (identifier ':' expr ',')* '}'
The last comma is optional.
Typing
Semantics
Examples
struct_expr ::= ast_type_app_expr '{' (identifier ':' expr ',')* '}'
The last comma is optional.