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

ARITY

const val ARITY: Int = 2