vstd
In vstd::
layout
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
vstd
::
layout
Function
size_of
Copy item path
Settings
Help
Summary
Source
pub
uninterp
fn size_of<V>() ->
nat
Expand description