This makes the primitive function _size_A_ - which returns the number of elements in an array - available to the programmer. This is especially helpful to evaluate some constraints already at the typecheck level, leading to better error messages.
This makes the primitive function _size_A_ - which returns the number of elements in an array - available to the programmer. This is especially helpful to evaluate some constraints already at the typecheck level, leading to better error messages.