DocEntry *GetDocEntry(uint16_t group, uint16_t elem);
/// Tells us if the ElementSet contains no entry
bool IsEmpty() { return TagHT.empty(); }
DocEntry *GetDocEntry(uint16_t group, uint16_t elem);
/// Tells us if the ElementSet contains no entry
bool IsEmpty() { return TagHT.empty(); }