ksmt-core/io.ksmt.solver.model/KFuncInterpEntryVarsFree/Companion/create

create

fun <T : KSort> create(args: List<KExpr<*>>, value: KExpr<T>): KFuncInterpEntryVarsFree<T>