ksmt-core
0.5.23
ksmt-core
/
io.ksmt
/
KContext
/
mkIntSort
mk
Int
Sort
fun
mkIntSort
(
)
:
KIntSort
Create an Int sort.