Skip to content

defined

Dokka 2.2.0 generates this reference of the Kotlin spec builder during each site build from the Kotlin sources, and its summary lists every class and function. The guide shows the builder in use, the Java builder's reference covers the handles, types and expressions it shares, and the extensions read the data.

fun defined(name: Expr): IntExpr

defined(name).


fun defined(record: RecordName): IntExpr
fun defined(record: RecordExpr): IntExpr

defined(record).


fun defined(records: RecordList): IntExpr

defined(records).