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

modify

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