arraySort function

ArraySort arraySort(
  1. Sort domain,
  2. Sort range
)

The type of an array from indices of type domain to elements of type range.

Implementation

ArraySort arraySort(Sort domain, Sort range) =>
    ArraySort([domain], range).declare();