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
/
interfacedef
interfacedef
fun
interfacedef
(
name
:
String
,
body
:
Interface
.
(
)
->
Unit
)
:
Interface
fun
interfacedef
(
body
:
Interface
.
(
)
->
Unit
)
:
Interface
fun
interfacedef
(
name
:
String
)
:
Interface
val
interfacedef
:
Interface