Skip to main content

Module fence

creusot_std0.12.0-dev

Module fence

Module Items

Functions

In creusot_std::std::sync

creusot_std::std::sync

Module fence

Functions§

fence_acquire: ensures
fence_release: ensures