Module layout
vstd
Module layout
Functions
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
::
layout
Copy item path
source
·
[
−
]
Functions
§
_verus_
external_
fn_
specification_
1_
core_
32__
58__
58__
32_
mem_
32__
58__
58__
32_
size__
of_
32__
58__
58__
32__
60__
32_
V_
32__
62_
⚠
_verus_
external_
fn_
specification_
2_
core_
32__
58__
58__
32_
mem_
32__
58__
58__
32_
align__
of_
32__
58__
58__
32__
60__
32_
V_
32__
62_
⚠
align_
of
align_
of_
as_
usize
group_
layout_
axioms
is_
power_
2
is_
sized
layout_
for_
type_
is_
valid
layout_
of_
primitives
layout_
of_
references_
and_
pointers
layout_
of_
references_
and_
pointers_
for_
sized_
types
layout_
of_
unit_
tuple
size_of
size_
of_
as_
usize
valid_
layout