Changeset dd3576b for libcfa/src/concurrency
- Timestamp:
- Feb 25, 2023, 8:12:47 AM (21 months ago)
- Branches:
- ADT, ast-experimental, master
- Children:
- b1ad41f
- Parents:
- f2a1cd2
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
libcfa/src/concurrency/mutex_stmt.hfa
rf2a1cd2 rdd3576b 4 4 //----------------------------------------------------------------------------- 5 5 // is_lock 6 trait is_lock(L & | sized(L)) { 6 forall(L & | sized(L)) 7 trait is_lock { 7 8 // For acquiring a lock 8 9 void lock( L & );
Note: See TracChangeset
for help on using the changeset viewer.