ksmt-core/io.ksmt/KContext/mkFreshConstDecl

mkFreshConstDecl

fun <T : KSort> mkFreshConstDecl(name: String, sort: T): KConstDecl<T>