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

parameters

open override val parameters: List<Any>