ksmt-core/io.ksmt.solver.model/KFuncInterpEntryOneAry/Companion/ARITY

ARITY

const val ARITY: Int = 1