Struct TimedFact 

pub struct TimedFact {
    pub line: usize,
    pub at: DateTime<Utc>,
    pub level: Level,
    pub fact: StepFact,
}

A recorded fact with its line’s time and level.

The event time lives on the line rather than on individual facts, so consumers read it uniformly.

Fields

line: usize

1-based line number in the transcript.

at: DateTime<Utc>

Wall-clock time the fact was recorded.

level: Level

Confidentiality level the line was recorded at.

fact: StepFact

The recorded fact.

Trait Implementations

impl Clone for TimedFact

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 TimedFact

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

Formats the value using the given formatter.