List

Usage

import from List T

Parameter	Type	Description
T	Type	the type of the list entries

Description

List provides lists of entries of type $T$, $1$-indexed and without bound checking.

Exports

ListType T