- array-storage-class arrayprocedure
- array-indexer arrayprocedure
- array-body arrayprocedure
- array-safe? arrayprocedure
array-storage-class returns the storage-class of array. array-safe? is true if and only if the arguments of (array-getter array) and (array-setter array) (including the value to be stored in the array) are checked for correctness.
(array-body array) is a linearly indexed, vector-like object (e.g., a vector, string, u8vector, etc.) indexed from 0.
(array-indexer array) is assumed to be a one-to-one, but not necessarily onto, affine mapping from (array-domain array) into the indexing domain of (array-body array).
Please see make-specialized-array for how (array-body array), etc., are used.
It is an error to call any of these routines if array is not a specialized array.