Functions§
- _verus_
external_ ⚠fn_ specification_ 861_ 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_ 862_ core_ 32__ 58__ 58__ 32_ mem_ 32__ 58__ 58__ 32_ align__ of_ 32__ 58__ 58__ 32__ 60__ 32_ V_ 32__ 62_ - _verus_
external_ ⚠fn_ specification_ 863_ core_ 32__ 58__ 58__ 32_ mem_ 32__ 58__ 58__ 32_ size__ of__ val_ 32__ 58__ 58__ 32__ 60__ 32_ V_ 32__ 62_ - _verus_
external_ ⚠fn_ specification_ 864_ core_ 32__ 58__ 58__ 32_ mem_ 32__ 58__ 58__ 32_ align__ of__ val_ 32__ 58__ 58__ 32__ 60__ 32_ V_ 32__ 62_ - align_
nonzero - align_
of - align_
of_ as_ usize - align_
of_ u8 - align_
of_ val_ as_ usize - align_
properties - group_
align_ properties - group_
layout_ axioms - is_
sized Deprecated - layout_
for_ type_ is_ valid - layout_
for_ val_ is_ valid - layout_
of_ maybe_ uninit - layout_
of_ primitives - layout_
of_ references_ and_ pointers - layout_
of_ references_ and_ pointers_ for_ sized_ types - layout_
of_ references_ and_ pointers_ for_ unsized_ types - layout_
of_ slices - layout_
of_ str - layout_
of_ unit_ tuple - signed_
int_ min_ max_ values - size_of
- size_
of_ as_ usize - size_
of_ val_ as_ usize - spec_
align_ of_ val - spec_
size_ of_ val - unsigned_
int_ max_ values - usize_
size_ pow2 - valid_
layout