Module miri::concurrency::init_once

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