List

Abstract definition

Let [ a ] be a list where the elements of that list do not have any type constraints.

Then a List of a specific Type [ T ] is a list where all elements a fullfil the type constraint T

A list [] can contain no, one or multiple elements. (0...n)

However the List-type can only contain one simple type expression.

See syntax rules to learn what a simple type expression is.

[ String ]

[ Number | Bool ]

-> see the | {or} operator defined here

[ ]

[ { ... } ]