unit
open_etherdev


unit open_etherdev = {
imports[
recv : { recv_nio }
flags : { flags }
ether : { etherdev }
];
exports[
out : { send_nio }
];
...
}


Rendered using Haskell HTML Combinators