Structs§
Traits§
Functions§
- _verus_
external_ ⚠fn_ specification_ 35__ 60__ 32_ Atomic U8_ 32__ 62__ 32__ 58__ 58__ 32_ new - _verus_
external_ ⚠fn_ specification_ 36__ 60__ 32_ Atomic U8_ 32__ 62__ 32__ 58__ 58__ 32_ compare__ exchange - _verus_
external_ ⚠fn_ specification_ 37__ 60__ 32_ Atomic U8_ 32__ 62__ 32__ 58__ 58__ 32_ compare__ exchange__ weak - _verus_
external_ ⚠fn_ specification_ 38__ 60__ 32_ Atomic U8_ 32__ 62__ 32__ 58__ 58__ 32_ fetch__ and - _verus_
external_ ⚠fn_ specification_ 39__ 60__ 32_ Atomic U8_ 32__ 62__ 32__ 58__ 58__ 32_ fetch__ nand - _verus_
external_ ⚠fn_ specification_ 40__ 60__ 32_ Atomic U8_ 32__ 62__ 32__ 58__ 58__ 32_ fetch__ or - _verus_
external_ ⚠fn_ specification_ 41__ 60__ 32_ Atomic U8_ 32__ 62__ 32__ 58__ 58__ 32_ fetch__ xor - _verus_
external_ ⚠fn_ specification_ 42__ 60__ 32_ Atomic U8_ 32__ 62__ 32__ 58__ 58__ 32_ load - _verus_
external_ ⚠fn_ specification_ 43__ 60__ 32_ Atomic U8_ 32__ 62__ 32__ 58__ 58__ 32_ store - _verus_
external_ ⚠fn_ specification_ 44__ 60__ 32_ Atomic U8_ 32__ 62__ 32__ 58__ 58__ 32_ swap - _verus_
external_ ⚠fn_ specification_ 45__ 60__ 32_ Atomic U8_ 32__ 62__ 32__ 58__ 58__ 32_ fetch__ add - _verus_
external_ ⚠fn_ specification_ 46__ 60__ 32_ Atomic U8_ 32__ 62__ 32__ 58__ 58__ 32_ fetch__ sub - _verus_
external_ ⚠fn_ specification_ 47__ 60__ 32_ Atomic U8_ 32__ 62__ 32__ 58__ 58__ 32_ fetch__ min - _verus_
external_ ⚠fn_ specification_ 48__ 60__ 32_ Atomic U8_ 32__ 62__ 32__ 58__ 58__ 32_ fetch__ max - _verus_
external_ ⚠fn_ specification_ 49__ 60__ 32_ Atomic U16_ 32__ 62__ 32__ 58__ 58__ 32_ new - _verus_
external_ ⚠fn_ specification_ 50__ 60__ 32_ Atomic U16_ 32__ 62__ 32__ 58__ 58__ 32_ compare__ exchange - _verus_
external_ ⚠fn_ specification_ 51__ 60__ 32_ Atomic U16_ 32__ 62__ 32__ 58__ 58__ 32_ compare__ exchange__ weak - _verus_
external_ ⚠fn_ specification_ 52__ 60__ 32_ Atomic U16_ 32__ 62__ 32__ 58__ 58__ 32_ fetch__ and - _verus_
external_ ⚠fn_ specification_ 53__ 60__ 32_ Atomic U16_ 32__ 62__ 32__ 58__ 58__ 32_ fetch__ nand - _verus_
external_ ⚠fn_ specification_ 54__ 60__ 32_ Atomic U16_ 32__ 62__ 32__ 58__ 58__ 32_ fetch__ or - _verus_
external_ ⚠fn_ specification_ 55__ 60__ 32_ Atomic U16_ 32__ 62__ 32__ 58__ 58__ 32_ fetch__ xor - _verus_
external_ ⚠fn_ specification_ 56__ 60__ 32_ Atomic U16_ 32__ 62__ 32__ 58__ 58__ 32_ load - _verus_
external_ ⚠fn_ specification_ 57__ 60__ 32_ Atomic U16_ 32__ 62__ 32__ 58__ 58__ 32_ store - _verus_
external_ ⚠fn_ specification_ 58__ 60__ 32_ Atomic U16_ 32__ 62__ 32__ 58__ 58__ 32_ swap - _verus_
external_ ⚠fn_ specification_ 59__ 60__ 32_ Atomic U16_ 32__ 62__ 32__ 58__ 58__ 32_ fetch__ add - _verus_
external_ ⚠fn_ specification_ 60__ 60__ 32_ Atomic U16_ 32__ 62__ 32__ 58__ 58__ 32_ fetch__ sub - _verus_
external_ ⚠fn_ specification_ 61__ 60__ 32_ Atomic U16_ 32__ 62__ 32__ 58__ 58__ 32_ fetch__ min - _verus_
external_ ⚠fn_ specification_ 62__ 60__ 32_ Atomic U16_ 32__ 62__ 32__ 58__ 58__ 32_ fetch__ max - _verus_
external_ ⚠fn_ specification_ 63__ 60__ 32_ Atomic U32_ 32__ 62__ 32__ 58__ 58__ 32_ new - _verus_
external_ ⚠fn_ specification_ 64__ 60__ 32_ Atomic U32_ 32__ 62__ 32__ 58__ 58__ 32_ compare__ exchange - _verus_
external_ ⚠fn_ specification_ 65__ 60__ 32_ Atomic U32_ 32__ 62__ 32__ 58__ 58__ 32_ compare__ exchange__ weak - _verus_
external_ ⚠fn_ specification_ 66__ 60__ 32_ Atomic U32_ 32__ 62__ 32__ 58__ 58__ 32_ fetch__ and - _verus_
external_ ⚠fn_ specification_ 67__ 60__ 32_ Atomic U32_ 32__ 62__ 32__ 58__ 58__ 32_ fetch__ nand - _verus_
external_ ⚠fn_ specification_ 68__ 60__ 32_ Atomic U32_ 32__ 62__ 32__ 58__ 58__ 32_ fetch__ or - _verus_
external_ ⚠fn_ specification_ 69__ 60__ 32_ Atomic U32_ 32__ 62__ 32__ 58__ 58__ 32_ fetch__ xor - _verus_
external_ ⚠fn_ specification_ 70__ 60__ 32_ Atomic U32_ 32__ 62__ 32__ 58__ 58__ 32_ load - _verus_
external_ ⚠fn_ specification_ 71__ 60__ 32_ Atomic U32_ 32__ 62__ 32__ 58__ 58__ 32_ store - _verus_
external_ ⚠fn_ specification_ 72__ 60__ 32_ Atomic U32_ 32__ 62__ 32__ 58__ 58__ 32_ swap - _verus_
external_ ⚠fn_ specification_ 73__ 60__ 32_ Atomic U32_ 32__ 62__ 32__ 58__ 58__ 32_ fetch__ add - _verus_
external_ ⚠fn_ specification_ 74__ 60__ 32_ Atomic U32_ 32__ 62__ 32__ 58__ 58__ 32_ fetch__ sub - _verus_
external_ ⚠fn_ specification_ 75__ 60__ 32_ Atomic U32_ 32__ 62__ 32__ 58__ 58__ 32_ fetch__ min - _verus_
external_ ⚠fn_ specification_ 76__ 60__ 32_ Atomic U32_ 32__ 62__ 32__ 58__ 58__ 32_ fetch__ max - _verus_
external_ ⚠fn_ specification_ 77__ 60__ 32_ Atomic U64_ 32__ 62__ 32__ 58__ 58__ 32_ new - _verus_
external_ ⚠fn_ specification_ 78__ 60__ 32_ Atomic U64_ 32__ 62__ 32__ 58__ 58__ 32_ compare__ exchange - _verus_
external_ ⚠fn_ specification_ 79__ 60__ 32_ Atomic U64_ 32__ 62__ 32__ 58__ 58__ 32_ compare__ exchange__ weak - _verus_
external_ ⚠fn_ specification_ 80__ 60__ 32_ Atomic U64_ 32__ 62__ 32__ 58__ 58__ 32_ fetch__ and - _verus_
external_ ⚠fn_ specification_ 81__ 60__ 32_ Atomic U64_ 32__ 62__ 32__ 58__ 58__ 32_ fetch__ nand - _verus_
external_ ⚠fn_ specification_ 82__ 60__ 32_ Atomic U64_ 32__ 62__ 32__ 58__ 58__ 32_ fetch__ or - _verus_
external_ ⚠fn_ specification_ 83__ 60__ 32_ Atomic U64_ 32__ 62__ 32__ 58__ 58__ 32_ fetch__ xor - _verus_
external_ ⚠fn_ specification_ 84__ 60__ 32_ Atomic U64_ 32__ 62__ 32__ 58__ 58__ 32_ load - _verus_
external_ ⚠fn_ specification_ 85__ 60__ 32_ Atomic U64_ 32__ 62__ 32__ 58__ 58__ 32_ store - _verus_
external_ ⚠fn_ specification_ 86__ 60__ 32_ Atomic U64_ 32__ 62__ 32__ 58__ 58__ 32_ swap - _verus_
external_ ⚠fn_ specification_ 87__ 60__ 32_ Atomic U64_ 32__ 62__ 32__ 58__ 58__ 32_ fetch__ add - _verus_
external_ ⚠fn_ specification_ 88__ 60__ 32_ Atomic U64_ 32__ 62__ 32__ 58__ 58__ 32_ fetch__ sub - _verus_
external_ ⚠fn_ specification_ 89__ 60__ 32_ Atomic U64_ 32__ 62__ 32__ 58__ 58__ 32_ fetch__ min - _verus_
external_ ⚠fn_ specification_ 90__ 60__ 32_ Atomic U64_ 32__ 62__ 32__ 58__ 58__ 32_ fetch__ max - _verus_
external_ ⚠fn_ specification_ 91__ 60__ 32_ Atomic Usize_ 32__ 62__ 32__ 58__ 58__ 32_ new - _verus_
external_ ⚠fn_ specification_ 92__ 60__ 32_ Atomic Usize_ 32__ 62__ 32__ 58__ 58__ 32_ compare__ exchange - _verus_
external_ ⚠fn_ specification_ 93__ 60__ 32_ Atomic Usize_ 32__ 62__ 32__ 58__ 58__ 32_ compare__ exchange__ weak - _verus_
external_ ⚠fn_ specification_ 94__ 60__ 32_ Atomic Usize_ 32__ 62__ 32__ 58__ 58__ 32_ fetch__ and - _verus_
external_ ⚠fn_ specification_ 95__ 60__ 32_ Atomic Usize_ 32__ 62__ 32__ 58__ 58__ 32_ fetch__ nand - _verus_
external_ ⚠fn_ specification_ 96__ 60__ 32_ Atomic Usize_ 32__ 62__ 32__ 58__ 58__ 32_ fetch__ or - _verus_
external_ ⚠fn_ specification_ 97__ 60__ 32_ Atomic Usize_ 32__ 62__ 32__ 58__ 58__ 32_ fetch__ xor - _verus_
external_ ⚠fn_ specification_ 98__ 60__ 32_ Atomic Usize_ 32__ 62__ 32__ 58__ 58__ 32_ load - _verus_
external_ ⚠fn_ specification_ 99__ 60__ 32_ Atomic Usize_ 32__ 62__ 32__ 58__ 58__ 32_ store - _verus_
external_ ⚠fn_ specification_ 100__ 60__ 32_ Atomic Usize_ 32__ 62__ 32__ 58__ 58__ 32_ swap - _verus_
external_ ⚠fn_ specification_ 101__ 60__ 32_ Atomic Usize_ 32__ 62__ 32__ 58__ 58__ 32_ fetch__ add - _verus_
external_ ⚠fn_ specification_ 102__ 60__ 32_ Atomic Usize_ 32__ 62__ 32__ 58__ 58__ 32_ fetch__ sub - _verus_
external_ ⚠fn_ specification_ 103__ 60__ 32_ Atomic Usize_ 32__ 62__ 32__ 58__ 58__ 32_ fetch__ min - _verus_
external_ ⚠fn_ specification_ 104__ 60__ 32_ Atomic Usize_ 32__ 62__ 32__ 58__ 58__ 32_ fetch__ max - _verus_
external_ ⚠fn_ specification_ 105__ 60__ 32_ Atomic I8_ 32__ 62__ 32__ 58__ 58__ 32_ new - _verus_
external_ ⚠fn_ specification_ 106__ 60__ 32_ Atomic I8_ 32__ 62__ 32__ 58__ 58__ 32_ compare__ exchange - _verus_
external_ ⚠fn_ specification_ 107__ 60__ 32_ Atomic I8_ 32__ 62__ 32__ 58__ 58__ 32_ compare__ exchange__ weak - _verus_
external_ ⚠fn_ specification_ 108__ 60__ 32_ Atomic I8_ 32__ 62__ 32__ 58__ 58__ 32_ fetch__ and - _verus_
external_ ⚠fn_ specification_ 109__ 60__ 32_ Atomic I8_ 32__ 62__ 32__ 58__ 58__ 32_ fetch__ nand - _verus_
external_ ⚠fn_ specification_ 110__ 60__ 32_ Atomic I8_ 32__ 62__ 32__ 58__ 58__ 32_ fetch__ or - _verus_
external_ ⚠fn_ specification_ 111__ 60__ 32_ Atomic I8_ 32__ 62__ 32__ 58__ 58__ 32_ fetch__ xor - _verus_
external_ ⚠fn_ specification_ 112__ 60__ 32_ Atomic I8_ 32__ 62__ 32__ 58__ 58__ 32_ load - _verus_
external_ ⚠fn_ specification_ 113__ 60__ 32_ Atomic I8_ 32__ 62__ 32__ 58__ 58__ 32_ store - _verus_
external_ ⚠fn_ specification_ 114__ 60__ 32_ Atomic I8_ 32__ 62__ 32__ 58__ 58__ 32_ swap - _verus_
external_ ⚠fn_ specification_ 115__ 60__ 32_ Atomic I8_ 32__ 62__ 32__ 58__ 58__ 32_ fetch__ add - _verus_
external_ ⚠fn_ specification_ 116__ 60__ 32_ Atomic I8_ 32__ 62__ 32__ 58__ 58__ 32_ fetch__ sub - _verus_
external_ ⚠fn_ specification_ 117__ 60__ 32_ Atomic I8_ 32__ 62__ 32__ 58__ 58__ 32_ fetch__ min - _verus_
external_ ⚠fn_ specification_ 118__ 60__ 32_ Atomic I8_ 32__ 62__ 32__ 58__ 58__ 32_ fetch__ max - _verus_
external_ ⚠fn_ specification_ 119__ 60__ 32_ Atomic I16_ 32__ 62__ 32__ 58__ 58__ 32_ new - _verus_
external_ ⚠fn_ specification_ 120__ 60__ 32_ Atomic I16_ 32__ 62__ 32__ 58__ 58__ 32_ compare__ exchange - _verus_
external_ ⚠fn_ specification_ 121__ 60__ 32_ Atomic I16_ 32__ 62__ 32__ 58__ 58__ 32_ compare__ exchange__ weak - _verus_
external_ ⚠fn_ specification_ 122__ 60__ 32_ Atomic I16_ 32__ 62__ 32__ 58__ 58__ 32_ fetch__ and - _verus_
external_ ⚠fn_ specification_ 123__ 60__ 32_ Atomic I16_ 32__ 62__ 32__ 58__ 58__ 32_ fetch__ nand - _verus_
external_ ⚠fn_ specification_ 124__ 60__ 32_ Atomic I16_ 32__ 62__ 32__ 58__ 58__ 32_ fetch__ or - _verus_
external_ ⚠fn_ specification_ 125__ 60__ 32_ Atomic I16_ 32__ 62__ 32__ 58__ 58__ 32_ fetch__ xor - _verus_
external_ ⚠fn_ specification_ 126__ 60__ 32_ Atomic I16_ 32__ 62__ 32__ 58__ 58__ 32_ load - _verus_
external_ ⚠fn_ specification_ 127__ 60__ 32_ Atomic I16_ 32__ 62__ 32__ 58__ 58__ 32_ store - _verus_
external_ ⚠fn_ specification_ 128__ 60__ 32_ Atomic I16_ 32__ 62__ 32__ 58__ 58__ 32_ swap - _verus_
external_ ⚠fn_ specification_ 129__ 60__ 32_ Atomic I16_ 32__ 62__ 32__ 58__ 58__ 32_ fetch__ add - _verus_
external_ ⚠fn_ specification_ 130__ 60__ 32_ Atomic I16_ 32__ 62__ 32__ 58__ 58__ 32_ fetch__ sub - _verus_
external_ ⚠fn_ specification_ 131__ 60__ 32_ Atomic I16_ 32__ 62__ 32__ 58__ 58__ 32_ fetch__ min - _verus_
external_ ⚠fn_ specification_ 132__ 60__ 32_ Atomic I16_ 32__ 62__ 32__ 58__ 58__ 32_ fetch__ max - _verus_
external_ ⚠fn_ specification_ 133__ 60__ 32_ Atomic I32_ 32__ 62__ 32__ 58__ 58__ 32_ new - _verus_
external_ ⚠fn_ specification_ 134__ 60__ 32_ Atomic I32_ 32__ 62__ 32__ 58__ 58__ 32_ compare__ exchange - _verus_
external_ ⚠fn_ specification_ 135__ 60__ 32_ Atomic I32_ 32__ 62__ 32__ 58__ 58__ 32_ compare__ exchange__ weak - _verus_
external_ ⚠fn_ specification_ 136__ 60__ 32_ Atomic I32_ 32__ 62__ 32__ 58__ 58__ 32_ fetch__ and - _verus_
external_ ⚠fn_ specification_ 137__ 60__ 32_ Atomic I32_ 32__ 62__ 32__ 58__ 58__ 32_ fetch__ nand - _verus_
external_ ⚠fn_ specification_ 138__ 60__ 32_ Atomic I32_ 32__ 62__ 32__ 58__ 58__ 32_ fetch__ or - _verus_
external_ ⚠fn_ specification_ 139__ 60__ 32_ Atomic I32_ 32__ 62__ 32__ 58__ 58__ 32_ fetch__ xor - _verus_
external_ ⚠fn_ specification_ 140__ 60__ 32_ Atomic I32_ 32__ 62__ 32__ 58__ 58__ 32_ load - _verus_
external_ ⚠fn_ specification_ 141__ 60__ 32_ Atomic I32_ 32__ 62__ 32__ 58__ 58__ 32_ store - _verus_
external_ ⚠fn_ specification_ 142__ 60__ 32_ Atomic I32_ 32__ 62__ 32__ 58__ 58__ 32_ swap - _verus_
external_ ⚠fn_ specification_ 143__ 60__ 32_ Atomic I32_ 32__ 62__ 32__ 58__ 58__ 32_ fetch__ add - _verus_
external_ ⚠fn_ specification_ 144__ 60__ 32_ Atomic I32_ 32__ 62__ 32__ 58__ 58__ 32_ fetch__ sub - _verus_
external_ ⚠fn_ specification_ 145__ 60__ 32_ Atomic I32_ 32__ 62__ 32__ 58__ 58__ 32_ fetch__ min - _verus_
external_ ⚠fn_ specification_ 146__ 60__ 32_ Atomic I32_ 32__ 62__ 32__ 58__ 58__ 32_ fetch__ max - _verus_
external_ ⚠fn_ specification_ 147__ 60__ 32_ Atomic I64_ 32__ 62__ 32__ 58__ 58__ 32_ new - _verus_
external_ ⚠fn_ specification_ 148__ 60__ 32_ Atomic I64_ 32__ 62__ 32__ 58__ 58__ 32_ compare__ exchange - _verus_
external_ ⚠fn_ specification_ 149__ 60__ 32_ Atomic I64_ 32__ 62__ 32__ 58__ 58__ 32_ compare__ exchange__ weak - _verus_
external_ ⚠fn_ specification_ 150__ 60__ 32_ Atomic I64_ 32__ 62__ 32__ 58__ 58__ 32_ fetch__ and - _verus_
external_ ⚠fn_ specification_ 151__ 60__ 32_ Atomic I64_ 32__ 62__ 32__ 58__ 58__ 32_ fetch__ nand - _verus_
external_ ⚠fn_ specification_ 152__ 60__ 32_ Atomic I64_ 32__ 62__ 32__ 58__ 58__ 32_ fetch__ or - _verus_
external_ ⚠fn_ specification_ 153__ 60__ 32_ Atomic I64_ 32__ 62__ 32__ 58__ 58__ 32_ fetch__ xor - _verus_
external_ ⚠fn_ specification_ 154__ 60__ 32_ Atomic I64_ 32__ 62__ 32__ 58__ 58__ 32_ load - _verus_
external_ ⚠fn_ specification_ 155__ 60__ 32_ Atomic I64_ 32__ 62__ 32__ 58__ 58__ 32_ store - _verus_
external_ ⚠fn_ specification_ 156__ 60__ 32_ Atomic I64_ 32__ 62__ 32__ 58__ 58__ 32_ swap - _verus_
external_ ⚠fn_ specification_ 157__ 60__ 32_ Atomic I64_ 32__ 62__ 32__ 58__ 58__ 32_ fetch__ add - _verus_
external_ ⚠fn_ specification_ 158__ 60__ 32_ Atomic I64_ 32__ 62__ 32__ 58__ 58__ 32_ fetch__ sub - _verus_
external_ ⚠fn_ specification_ 159__ 60__ 32_ Atomic I64_ 32__ 62__ 32__ 58__ 58__ 32_ fetch__ min - _verus_
external_ ⚠fn_ specification_ 160__ 60__ 32_ Atomic I64_ 32__ 62__ 32__ 58__ 58__ 32_ fetch__ max - _verus_
external_ ⚠fn_ specification_ 161__ 60__ 32_ Atomic Isize_ 32__ 62__ 32__ 58__ 58__ 32_ new - _verus_
external_ ⚠fn_ specification_ 162__ 60__ 32_ Atomic Isize_ 32__ 62__ 32__ 58__ 58__ 32_ compare__ exchange - _verus_
external_ ⚠fn_ specification_ 163__ 60__ 32_ Atomic Isize_ 32__ 62__ 32__ 58__ 58__ 32_ compare__ exchange__ weak - _verus_
external_ ⚠fn_ specification_ 164__ 60__ 32_ Atomic Isize_ 32__ 62__ 32__ 58__ 58__ 32_ fetch__ and - _verus_
external_ ⚠fn_ specification_ 165__ 60__ 32_ Atomic Isize_ 32__ 62__ 32__ 58__ 58__ 32_ fetch__ nand - _verus_
external_ ⚠fn_ specification_ 166__ 60__ 32_ Atomic Isize_ 32__ 62__ 32__ 58__ 58__ 32_ fetch__ or - _verus_
external_ ⚠fn_ specification_ 167__ 60__ 32_ Atomic Isize_ 32__ 62__ 32__ 58__ 58__ 32_ fetch__ xor - _verus_
external_ ⚠fn_ specification_ 168__ 60__ 32_ Atomic Isize_ 32__ 62__ 32__ 58__ 58__ 32_ load - _verus_
external_ ⚠fn_ specification_ 169__ 60__ 32_ Atomic Isize_ 32__ 62__ 32__ 58__ 58__ 32_ store - _verus_
external_ ⚠fn_ specification_ 170__ 60__ 32_ Atomic Isize_ 32__ 62__ 32__ 58__ 58__ 32_ swap - _verus_
external_ ⚠fn_ specification_ 171__ 60__ 32_ Atomic Isize_ 32__ 62__ 32__ 58__ 58__ 32_ fetch__ add - _verus_
external_ ⚠fn_ specification_ 172__ 60__ 32_ Atomic Isize_ 32__ 62__ 32__ 58__ 58__ 32_ fetch__ sub - _verus_
external_ ⚠fn_ specification_ 173__ 60__ 32_ Atomic Isize_ 32__ 62__ 32__ 58__ 58__ 32_ fetch__ min - _verus_
external_ ⚠fn_ specification_ 174__ 60__ 32_ Atomic Isize_ 32__ 62__ 32__ 58__ 58__ 32_ fetch__ max - _verus_
external_ ⚠fn_ specification_ 175__ 60__ 32_ Atomic Bool_ 32__ 62__ 32__ 58__ 58__ 32_ new - _verus_
external_ ⚠fn_ specification_ 176__ 60__ 32_ Atomic Bool_ 32__ 62__ 32__ 58__ 58__ 32_ compare__ exchange - _verus_
external_ ⚠fn_ specification_ 177__ 60__ 32_ Atomic Bool_ 32__ 62__ 32__ 58__ 58__ 32_ compare__ exchange__ weak - _verus_
external_ ⚠fn_ specification_ 178__ 60__ 32_ Atomic Bool_ 32__ 62__ 32__ 58__ 58__ 32_ fetch__ and - _verus_
external_ ⚠fn_ specification_ 179__ 60__ 32_ Atomic Bool_ 32__ 62__ 32__ 58__ 58__ 32_ fetch__ nand - _verus_
external_ ⚠fn_ specification_ 180__ 60__ 32_ Atomic Bool_ 32__ 62__ 32__ 58__ 58__ 32_ fetch__ or - _verus_
external_ ⚠fn_ specification_ 181__ 60__ 32_ Atomic Bool_ 32__ 62__ 32__ 58__ 58__ 32_ fetch__ xor - _verus_
external_ ⚠fn_ specification_ 182__ 60__ 32_ Atomic Bool_ 32__ 62__ 32__ 58__ 58__ 32_ load - _verus_
external_ ⚠fn_ specification_ 183__ 60__ 32_ Atomic Bool_ 32__ 62__ 32__ 58__ 58__ 32_ store - _verus_
external_ ⚠fn_ specification_ 184__ 60__ 32_ Atomic Bool_ 32__ 62__ 32__ 58__ 58__ 32_ swap