ksmt-core/io.ksmt.utils/mkFreshConst

mkFreshConst

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