CheckingList

Usage

import from CheckingList T

Parameter	Type	Description
T	Type	the type of the list entries

Description

CheckingList provides lists of entries of type $T$, $1$-indexed and with bound checking.

Exports

ListType T