#module std.internet

union Cmd {
    Send(u8[]),
    Receive,
    Finish,
    Shutdown,
}

comp tcp_client(u8[] ip, u16 port, in<Cmd> cmds, out<u8[]> rx) {
    #builtin
}

struct TcpConnection {
    out<Cmd> tx,
    in<u8[]> rx,
}

/* comp tcp_listener(u8[] ip, u16 port, out<TcpConnection> rx) {
    #builtin
} */