ksmt-core/io.ksmt.solver.model/KFuncInterpEntryThreeAry/arity

arity

open override val arity: Int