153 using FactID = unsigned short;  typedef
162   FactID newFact(std::unique_ptr<FactEntry> Entry) {  in newFact()
167   const FactEntry &operator[](FactID F) const { return *Facts[F]; }  in operator []()
179   using FactVec = SmallVector<FactID, 4>;
204   void addLockByID(FactID ID) { FactIDs.push_back(ID); }  in addLockByID()
206   FactID addLock(FactManager &FM, std::unique_ptr<FactEntry> Entry) {  in addLock()
207     FactID F = FM.newFact(std::move(Entry));  in addLock()
232     return std::find_if(begin(), end(), [&](FactID ID) {  in findLockIter()
238     auto I = std::find_if(begin(), end(), [&](FactID ID) {  in findLock()
246     auto I = std::find_if(begin(), end(), [&](FactID ID) -> bool {  in findLockUniv()
254     auto I = std::find_if(begin(), end(), [&](FactID ID) -> bool {  in findPartialMatch()
261     auto I = std::find_if(begin(), end(), [&](FactID ID) -> bool {  in containsMutexDecl()