Constant swipl::fli::_PL_opt_enum_t_OPT_DOUBLE

pub const _PL_opt_enum_t_OPT_DOUBLE: i32 = 5;