ksmt-core/io.ksmt.solver.model/KFuncInterpEntryVarsFreeThreeAry/arg2

arg2

open override val arg2: KExpr<*>