Module sync 

Structs

AtomicI32

Creusot wrapper around std::sync::atomic::AtomicI32

Functions

extern_spec_T_A_Clone_Arc_T_A_clone

extern spec for Arc<T, A>::clone

extern_spec_std_sync_T_A_AsRef_Arc_T_A_as_ref

extern spec for ::std::sync::Arc<T, A>::as_ref

extern_spec_std_sync_T_Arc_T_new

extern spec for ::std::sync::Arc<T>::new