Module layout

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_sizedDeprecated
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