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