rd-gen
Toggle table of contents
2025.3.0
jvm
Platform filter
jvm
Switch theme
Search in API
rd-gen
rd-gen
/
com.jetbrains.rd.util.kli
/
Kli
/
option_int
option_
int
fun
option_int
(
short
:
Char
?
,
long
:
String
?
,
description
:
String
,
defaultValue
:
Int
?
=
null
)
:
Option.Valued
<
Int
>