Array

Usage

import from Array T

Parameter	Type	Description
T	Type	the type of the array entries

Description

Array provides arrays of entries of type $T$, $0$-indexed and without bound checking.

Exports

ArrayType(T, PrimitiveArray T)