Module history 

History representation for consistency checking.

Operations in a history follow a request/response model:

• Invoke marks the start of an operation
• Ok marks successful completion
• Fail marks a definite failure
• Info marks an indeterminate result (crash, timeout, etc.)

Structs

History

A history of operations.

Op

A single operation in a history.

Pid

Process or thread identifier.

Timestamp

A timestamp for operation ordering, relative to an arbitrary epoch.

Enums

OpFn

The function being performed by an operation.

OpType

The type/phase of an operation.

OpValue

Value associated with an operation.