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

arg1

open override val arg1: KExpr<*>