mkArraySort

fun <D : KSort, R : KSort> mkArraySort(domain: D, range: R): KArraySort<D, R>

Create an array sort (Array domain).

fun <D0 : KSort, D1 : KSort, R : KSort> mkArraySort(domain0: D0, domain1: D1, range: R): KArray2Sort<D0, D1, R>

Create an array sort (Array domain0 range).

fun <D0 : KSort, D1 : KSort, D2 : KSort, R : KSort> mkArraySort(domain0: D0, domain1: D1, domain2: D2, range: R): KArray3Sort<D0, D1, D2, R>

Create an array sort (Array domain0 domain2).