ksmt-core/io.ksmt/KContext/mkUninterpretedSortValue

mkUninterpretedSortValue

open fun mkUninterpretedSortValue(sort: KUninterpretedSort, valueIdx: Int): KUninterpretedSortValue

Create uninterpreted sort value.

Note: uninterpreted sort values with different valueIdx are distinct.