ksmt-core/io.ksmt/KContext/mkArrayNSort

mkArrayNSort

fun <R : KSort> mkArrayNSort(domain: List<KSort>, range: R): KArrayNSort<R>

Create a n-ary array sort (Array domain_0 ... domain_n range).