unit
malloc_lmm


unit malloc_lmm = {
imports[
lmm : LMM_T
malloc_lmm : { malloc_lmm }
];
exports[
out : OtherLMM_T
];
...
}


Rendered using Haskell HTML Combinators