unit
multi_threaded_mem_lock


unit multi_threaded_mem_lock = {
imports[
lock_mgr : LockMgr_T
threads : PThread_T
];
exports[
mem_lock : MemLock_T
];
...
}


Rendered using Haskell HTML Combinators