//#provider=Server
#provider=Multiple consumer=Multiple // TODO: These parameters need more situational introspection to be documented
protocol Feed {
    // Fetches new articles since last fetch
    @flexible async stream
    #timeout=1000ms per_send_timeout=10s cooldown=10s
    1# function fetch_articles() -> Article[SENT_ARTICLES_MAX]
}