Struct ClockStamp 

pub struct ClockStamp {
    pub utc_ms: TimeMs,
    pub zones: Vec<ZoneEntry>,
}

The stamp a result envelope carries: the reading itself, and the rows of the zones the run was frozen with (none, in a real city: the city refuses [clock] zones, crates/city/Spec.lean §8-31).

Fields

utc_ms: TimeMs

zones: Vec<ZoneEntry>

Implementations

impl ClockStamp

pub fn render(&self) -> String

The envelope’s clock line: clock: 2026-05-14T09:31:07Z;, then <id> <local>; for each zone.

Trait Implementations

impl Clone for ClockStamp

fn clone(&self) -> Self

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for ClockStamp

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Eq for ClockStamp

impl PartialEq for ClockStamp

fn eq(&self, other: &Self) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl StructuralPartialEq for ClockStamp