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
/
Interface
/
Interface
Interface
constructor
(
_name
:
String
,
pointcut
:
Toplevel
,
baseInterfaces
:
MutableList
<
Interface
>
)