common
Toggle table of contents
3.1.1
jvm
Platform filter
jvm
Switch theme
Search in API
common
common
/
org.jetbrains.lincheck.descriptors
/
Types
/
DoubleType
Double
Type
class
DoubleType
:
Types.Type
Members
Constructors
Double
Type
Link copied to clipboard
constructor
(
)
Functions
to
String
Link copied to clipboard
open
override
fun
toString
(
)
:
String