arraySortN function

ArraySort arraySortN(
  1. List<Sort> domain,
  2. Sort range
)

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

Implementation

ArraySort arraySortN(List<Sort> domain, Sort range) =>
    ArraySort(domain, range).declare();