Usage
import from CheckingList T
Parameter | Type | Description |
---|---|---|
T | Type | the type of the list entries |
Description
CheckingList provides lists of entries of type,
-indexed and with bound checking.
Exports
ListType T