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

create

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