rd-gen
2023.3.3
rd-gen
/
com.jetbrains.rd.generator.nova
/
Toplevel
/
interfacedef
interfacedef
fun
interfacedef
(
name
:
String
,
body
:
Interface
.
(
)
->
Unit
)
:
Interface
Content copied to clipboard
fun
interfacedef
(
body
:
Interface
.
(
)
->
Unit
)
:
Interface
Content copied to clipboard
fun
interfacedef
(
name
:
String
)
:
Interface
Content copied to clipboard
val
interfacedef
:
<Error class: unknown class>
Content copied to clipboard