ksmt-core/io.ksmt.decl/KBv2IntDecl/parameters

parameters

open override val parameters: List<Any>