ksmt-core/io.ksmt.solver.model/KFuncInterpEntryWithVarsThreeAry/modify

modify

open override fun modify(arg0: KExpr<*>, arg1: KExpr<*>, arg2: KExpr<*>, value: KExpr<T>): KFuncInterpEntryThreeAry<T>