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