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

Companion

object Companion

Properties

Link copied to clipboard
const val ARITY: Int = 2