Module atomic
vstd
Module atomic
Structs
Functions
Type Aliases
In crate vstd
Modules
arithmetic
array
atomic
atomic_ghost
bits
bytes
calc_macro
cell
compute
hash_map
hash_set
invariant
layout
map
map_lib
math
modes
multiset
multiset_lib
pcm
pcm_lib
pervasive
prelude
proph
raw_ptr
relations
rwlock
seq
seq_lib
set
set_lib
shared
simple_pptr
slice
std_specs
storage_protocol
string
thread
tokens
view
Macros
assert_by_contradiction
assert_maps_equal
assert_multisets_equal
assert_multisets_equal_internal
assert_seqs_equal
assert_sets_equal
atomic_with_ghost
calc
map
open_atomic_invariant
open_atomic_invariant_in_proof
open_atomic_invariant_in_proof_internal
open_atomic_invariant_internal
open_local_invariant
open_local_invariant_in_proof
open_local_invariant_in_proof_internal
open_local_invariant_internal
pcell_opt
pcell_points
seq
set
vpanic
Functions
group_vstd_default
?
Settings
Module
vstd
::
atomic
Copy item path
source
·
[
−
]
Structs
§
PAtomic
Bool
PAtomic
I8
PAtomic
I16
PAtomic
I32
PAtomic
I64
PAtomic
Isize
PAtomic
Ptr
PAtomic
U8
PAtomic
U16
PAtomic
U32
PAtomic
U64
PAtomic
Usize
Permission
Bool
Permission
Data
Bool
Permission
Data
I8
Permission
Data
I16
Permission
Data
I32
Permission
Data
I64
Permission
Data
Isize
Permission
Data
Ptr
Permission
Data
U8
Permission
Data
U16
Permission
Data
U32
Permission
Data
U64
Permission
Data
Usize
Permission
I8
Permission
I16
Permission
I32
Permission
I64
Permission
Isize
Permission
Ptr
Permission
U8
Permission
U16
Permission
U32
Permission
U64
Permission
Usize
Functions
§
wrapping_
add_
i8
wrapping_
add_
i16
wrapping_
add_
i32
wrapping_
add_
i64
wrapping_
add_
isize
wrapping_
add_
u8
wrapping_
add_
u16
wrapping_
add_
u32
wrapping_
add_
u64
wrapping_
add_
usize
wrapping_
sub_
i8
wrapping_
sub_
i16
wrapping_
sub_
i32
wrapping_
sub_
i64
wrapping_
sub_
isize
wrapping_
sub_
u8
wrapping_
sub_
u16
wrapping_
sub_
u32
wrapping_
sub_
u64
wrapping_
sub_
usize
Type Aliases
§
Atomic
Cell
Id