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
?
Settings
Function
vstd
::
layout
::
size_of
Copy item path
source
·
[
−
]
pub
uninterp
fn size_of<V>() ->
nat
Expand description