//! The `GET /api/v1/events` server-sent-events stream. The server emits a
//! single event kind; the client treats any [`Changed`] as "pull now".
use ;
/// The SSE `event:` name the server emits when a peer device pushes.
pub const CHANGED: &str = "changed";
/// The `data:` payload of a [`CHANGED`] event. `server_time` is the push's
/// server timestamp (epoch millis), or `0` when emitted to recover a lagged
/// subscriber.