unit
partition_init


unit partition_init = {
imports[
name : { partition_name }
blkio : { blkio }
diskpart : DiskPartition_T
sleep : OSEnvSleep_T
];
exports[
out : { blkio }
];
...
}


Rendered using Haskell HTML Combinators