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
/
structdef
structdef
fun
structdef
(
name
:
String
,
body
:
Struct
.
(
)
->
Unit
)
:
Struct.Concrete
fun
structdef
(
body
:
Struct
.
(
)
->
Unit
)
:
Struct.Concrete
fun
structdef
(
name
:
String
)
:
Struct.Concrete
val
structdef
:
Struct.Concrete
fun
structdef
(
name
:
String
,
base
:
Struct.Abstract
?
,
body
:
Struct
.
(
)
->
Unit
)
:
Struct.Concrete
Deprecated
Use infix function 'extends'.
Replace with
structdef(name) extends base (body)
Content copied to clipboard