JSC.OptionType.RANGE_STRING – javascriptcoregtk-4.0 Reference Manual
RANGE_STRING
Description:
RANGE_STRING
A range string option type.
2022 vala-language.org