ksmt-core/io.ksmt.decl/KBvRotateRightIndexedDecl

KBvRotateRightIndexedDecl

Functions

open override fun <R> accept(visitor: KDeclVisitor<R>): R

open override fun KContext.apply(arg: KExpr<T>): KApp<T, T>

open override fun apply(args: List<KExpr<*>>): KApp<T, *>

open operator override fun equals(other: Any?): Boolean

open override fun hashCode(): Int

open override fun print(builder: StringBuilder)

open override fun toString(): String

val i: Int

open override val parameters: List<Any>

val sort: T