#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
} */