common
Toggle table of contents
3.1.1
jvm
Platform filter
jvm
Switch theme
Search in API
common
common
/
org.jetbrains.lincheck.descriptors
/
VariableDescriptor
/
VariableDescriptor
Variable
Descriptor
constructor
(
name
:
String
)