unit
do_bootp
unit
do_bootp
= {
imports
[
tcpip
:
FreeBSDNet_T
ipinfo
:
{
get_ipinfo
}
ether
:
{
etherdev
}
];
exports
[
out
:
{
ipaddr
gateway
netmask
}
];
...
}
Rendered using Haskell HTML Combinators