esp_idf_sys

Constant IPV6_LEAVE_GROUP

Source 
pub const IPV6_LEAVE_GROUP: u32 = 13;