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

ARITY

const val ARITY: Int = 3