KUninterpretedFuncDecl

Functions

Link copied to clipboard
open override fun <R> accept(visitor: KDeclVisitor<R>): R
Link copied to clipboard
open override fun apply(args: List<KExpr<*>>): KApp<T, *>
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 internEquals(other: Any): Boolean

Any.equals analogue for interning purposes.

Link copied to clipboard
open override fun internHashCode(): Int

Any.hashCode analogue for interning purposes.

Link copied to clipboard
open override fun print(builder: StringBuilder)
Link copied to clipboard
open override fun toString(): String

Properties

Link copied to clipboard
Link copied to clipboard
Link copied to clipboard
Link copied to clipboard
val sort: T