ksmt-core/io.ksmt.utils/mkConst

mkConst

fun <T : KSort> T.mkConst(name: String): KApp<T, *>