Skip to main content

Module ordering

creusot_std::std::sync::atomic

Module ordering 

Source
Expand description

Creusot type-level wrappers around std::sync::atomic::Ordering.

Structs§

AcqRel
Acquire
None
Relaxed
Release

Traits§

LoadOrdering
Ordering
StoreOrdering
UpdateOrdering