rd-gen
Toggle table of contents
2026.1.1
jvm
Target filter
jvm
Switch theme
Search in API
Skip to content
rd-gen
rd-gen
/
com.jetbrains.rd.generator.nova
/
Toplevel
/
aggregatedef
aggregatedef
fun
aggregatedef
(
name
:
String
,
body
:
Aggregate
.
(
)
->
Unit
)
:
Aggregate