unit
first_etherdev
unit
first_etherdev
= {
imports
[
device
:
OSEnvDevice_T
iids
:
{
oskit_etherdev_iid
}
malloc
:
Malloc_T
];
exports
[
out
:
{
etherdev
ethaddr
}
];
...
}
Rendered using Haskell HTML Combinators