common
Toggle table of contents
3.1.1
jvm
Platform filter
jvm
Switch theme
Search in API
common
common
/
org.jetbrains.lincheck.descriptors
/
Types
/
IntType
/
IntType
Int
Type
constructor
(
)