array package:copilot-core
Smart array constructor that only type checks if the length of the
given list matches the length of the array at type level.
Implementation of an array that uses type literals to store length. No
explicit indexing is used for the input data. Supports arbitrary
nesting of arrays.
Implementation of an array that uses type literals to store length.
Return the elements of an array.
Update element of array to given element.
PRE: the second argument denotes a valid index in the array.