leaves

Dokka 2.2.0 generates this reference during each site build from the Kotlin sources. The guide shows the extensions in use, the Java API reference covers the types they extend, and the spec builder's reference covers dev.gecode.iris.kotlin.build.

fun Value.leaves(): Sequence<Value>

Returns the single values of this value in row order, at any depth: this value itself if it is single.

Dimensions have no bound, so the walk keeps its place in a list of open arrays instead of recursing.