Constant TERMINATED 

pub const TERMINATED: DocId = _; // 2_147_483_647u32

Sentinel value returned when a DocSet has been entirely consumed.

This is not u32::MAX as one would have expected, due to the lack of SSE2 instructions to compare [u32; 4].