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