Constant F_BRIN_DESUMMARIZE_RANGE

pub const F_BRIN_DESUMMARIZE_RANGE: u32 = 4014;