vstd
Module alloc
Module Items
Structs
Functions
In vstd::
std_
specs
vstd
::
std_specs
Module
alloc
Copy item path
Source
Structs
§
ExGlobal
Functions
§
_verus_
external_
fn_
specification_
18_
alloc_
32__
58__
58__
32_
boxed_
32__
58__
58__
32_
box__
new
⚠