Product SiteDocumentation Site

Chapter 6. Array Types

6.1. Scope
6.2. Examples
6.3. Builtin Array Type
6.4. Array facets

6.1. Scope

Array Types match arrays.
There is one builtin topmost Array Type "array".
An Array Type can be defined by restricting the value space of "array" by specifying a layout (type of the members) or size bounds. A restriction can also be made with the general Types facets $enumeration and $constraints.