unit lmm_lock = {

imports[ in : OtherLMM_T mem_lock : MemLock_T ]; exports[ out : OtherLMM_T ]; ...

}