Expand description
The event contract: timestamped records emitted during evaluation.
The kernel defines the Event record, its kinds, logical Tick
clocks, and the EventSource contract; libraries produce the events.
Structs§
- Event
- A timestamped record emitted during a run’s evaluation.
- Tick
- A logical-clock reading: one index along a named clock.
Enums§
Traits§
- Event
Source - A source that produces a run’s events in order.
Functions§
- validate_
ticks - Validate that
tickscarry distinct clocks, erroring on a duplicate.