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

modify

open override fun modify(args: List<KExpr<*>>, value: KExpr<T>): KFuncInterpEntryNAry<T>