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

Companion

object Companion

Properties

Link copied to clipboard
const val ARITY: Int = 3