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

arg0

open override val arg0: KExpr<*>