Open morganthomas opened 4 years ago
We can represent the relation set in a way where it can be queried efficiently. We always want to find the relations associated with a particular thread. For example, M.Map ThreadId (S.Set Relation) should do the trick.
We can represent the relation set in a way where it can be queried efficiently. We always want to find the relations associated with a particular thread. For example, M.Map ThreadId (S.Set Relation) should do the trick.