esp_idf_hal::sys

Constant IPV6_LEAVE_GROUP

Source 
pub const IPV6_LEAVE_GROUP: u32 = 13; // 13u32