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

modify

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