ksmt-core/io.ksmt/KContext/mkConst

mkConst

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

Create a constant named name with sort sort.