stdlib
1.4
1.8
1.7
1.6
1.5
1.4
1.3
1.2
1.1
1.0
JS
stdlib
/
org.w3c.dom
/
Option
/
Option
Option
JS
fun
Option
(
text
:
String
=
definedExternally
,
value
:
String
=
definedExternally
,
defaultSelected
:
Boolean
=
definedExternally
,
selected
:
Boolean
=
definedExternally
)
(
source
)