title	parent
Indefinite Array Expression	Constructors.md

Syntax

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

Typing

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