Searched defs:FactEntry (Results 1 – 1 of 1) sorted by relevance
788 struct FactEntry { struct789 SExpr MutID;790 LockData LDat;792 FactEntry(const SExpr& M, const LockData& L) in FactEntry() argument