JSC.OptionType.DOUBLE – javascriptcoregtk-4.0 Reference Manual
DOUBLE
Description:
DOUBLE
A
double
options type.
2022 vala-language.org