Module view 

Structs

AcquireSyncView

A witness to the acquire view, containing all the events that will be observed by this thread at its next acquire fence.

AtView

Resources that are held in view V.

ReleaseSyncView

A witness to the release view, containing all the events observed by this thread at its last release fence.

SyncView

A witness to the current view, containing all the events observed by this thread.

Traits

HasTimestamp

Type Aliases

Timestamp