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

arg

abstract val arg: KExpr<*>