ksmt-core/io.ksmt.solver.model/KFuncInterpEntryVarsFreeOneAry/arg

arg

open override val arg: KExpr<*>