AnyDSL

AnyDSL

Indefinite Array Expression


Contents


Syntax

indefinite_array_expr ::= '[' expr ':' type ']'

Typing

expr must be of integer type. The expression has type [type].

Semantics

Examples