null_mem

unit

null_mem_lock

unit null_mem_lock = {
imports[];
exports[
mem_lock : MemLock_T
];
...
}