#module std.internet

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

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

union ListenerCmd {
    Accept,
    Shutdown,
}

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

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