ksmt-core/io.ksmt.sort/KArray2Sort/Companion/DOMAIN_SIZE

DOMAIN_SIZE

const val DOMAIN_SIZE: Int = 2