Module trace

Source
Expand description

Defines an ITF trace.

Structsยง

Meta
Metadata for an ITF Trace.
Trace
An ITF trace over states of type S.