miri::concurrency

Module init_once

Source

Structs§

InitOnce 🔒
The one time initialization state.
InitOnceId
0 is used to indicate that the id was not yet assigned and, therefore, is not a valid identifier.

Enums§

InitOnceStatus
The current status of a one time initialization.

Traits§

EvalContextExt