Constant swipl_fli::_PL_opt_enum_t_OPT_DOUBLE

pub const _PL_opt_enum_t_OPT_DOUBLE: _PL_opt_enum_t = 5;