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

parameters

open override val parameters: List<Any>