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

DOMAIN_SIZE

const val DOMAIN_SIZE: Int = 3