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

modify

open override fun modify(arg: KExpr<*>, value: KExpr<T>): KFuncInterpEntryOneAry<T>