KArrayConstDecl

class KArrayConstDecl<A : KArraySortBase<R>, R : KSort>(ctx: KContext, sort: A) : KFuncDecl1<A, R>

Constructors

Link copied to clipboard
fun <A : KArraySortBase<R>> KArrayConstDecl(ctx: KContext, sort: A)

Functions

Link copied to clipboard
open override fun <R> accept(visitor: KDeclVisitor<R>): R
Link copied to clipboard
open override fun KContext.apply(arg: KExpr<R>): KApp<A, R>
open override fun apply(args: List<KExpr<*>>): KApp<A, *>
Link copied to clipboard
fun checkArgSorts(args: List<KExpr<*>>)
Link copied to clipboard
open operator override fun equals(other: Any?): Boolean
Link copied to clipboard
open override fun hashCode(): Int
Link copied to clipboard
open override fun print(builder: StringBuilder)
Link copied to clipboard
open override fun toString(): String

Properties

Link copied to clipboard
val argSort: R
Link copied to clipboard
Link copied to clipboard
Link copied to clipboard
Link copied to clipboard
val sort: A