ksmt-core/io.ksmt.expr/KApp/decl

decl

abstract val decl: KDecl<T>

fun decl(): KDecl<T>

Deprecated

Use property

Replace with

decl
Content copied to clipboard