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

args

open override val args: List<KExpr<*>>