Structs§
Traits§
Functions§
- _verus_
external_ ⚠fn_ specification_ 464_ Maybe Uninit_ 32__ 58__ 58__ 32__ 60__ 32_ T_ 32__ 62__ 32__ 58__ 58__ 32_ new - _verus_
external_ ⚠fn_ specification_ 465_ Maybe Uninit_ 32__ 58__ 58__ 32__ 60__ 32_ T_ 32__ 62__ 32__ 58__ 58__ 32_ uninit - _verus_
external_ ⚠fn_ specification_ 466_ Maybe Uninit_ 32__ 58__ 58__ 32__ 60__ 32_ T_ 32__ 62__ 32__ 58__ 58__ 32_ assume__ init - _verus_
external_ ⚠fn_ specification_ 467_ Maybe Uninit_ 32__ 58__ 58__ 32__ 60__ 32_ T_ 32__ 62__ 32__ 58__ 58__ 32_ assume__ init__ ref - _verus_
external_ ⚠fn_ specification_ 468_ Maybe Uninit_ 32__ 58__ 58__ 32__ 60__ 32_ T_ 32__ 62__ 32__ 58__ 58__ 32_ assume__ init__ mut - _verus_
external_ ⚠fn_ specification_ 469_ Maybe Uninit_ 32__ 58__ 58__ 32__ 60__ 32_ T_ 32__ 62__ 32__ 58__ 58__ 32_ write - _verus_
external_ ⚠fn_ specification_ 470_ Maybe Uninit_ 32__ 58__ 58__ 32__ 60__ 32_ T_ 32__ 62__ 32__ 58__ 58__ 32_ array__ assume__ init