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