ksmt-core/io.ksmt.sort/KArraySort/domain

domain

val domain: D