unit
base_idt


unit base_idt = {
imports[
segments : Segments_T
];
exports[
idt : IDT_T
];
...
}


Rendered using Haskell HTML Combinators