Revision 91e5d533
ID | 91e5d533696b606cdec045be2403c07e7c78b3b1 |
Parent | a9c3ba29 |
Child | 75033afd |
Add a type class describing types that can serve as locks
Besides the lock order and Show, an additional datum is needed in order
to describe lock inclusion, used, e.g., for group locks. So add a type
class describing this property.
Signed-off-by: Klaus Aehlig <aehlig@google.com>
Reviewed-by: Petr Pudlak <pudlak@google.com>
Files
- added
- modified
- copied
- renamed
- deleted