#module std.internet
union Cmd {
Send(u8[]),
Receive,
Finish,
Shutdown,
}
primitive tcp_client(u8[] ip, u16 port, in<Cmd> cmds, out<u8[]> rx) {
#builtin
}
struct TcpConnection {
in<Cmd> tx,
out<u8[]> rx,
}
/* primitive tcp_listener(u8[] ip, u16 port, out<TcpConnection> rx) {
#builtin
} */