Skip to main content
Module committer
creusot_
std
0.12.0-dev
Module committer
Module Items
Structs
In creusot_
std::
std::
sync
creusot_std
::
std
::
sync
Module
committer
Copy item path
Source
Structs
ยง
Committer
Wrapper around a single atomic operation, where multiple ghost steps can be performed.