Module alloc

vstd

Module alloc

Module Items

Structs
Functions

In vstd::std_specs

Modules

alloc
atomic
bits
borrow
clone
cmp
control_flow
core
hash
num
ops
option
range
result
slice
smart_ptrs
vec
vecdeque

Structs

VstdSpecsForRustStdLib

vstd::std_specs

Module alloc

Settings

Help

Structs§

ExGlobal

Functions§

_verus_external_fn_specification_18_alloc_32__58__58__32_boxed_32__58__58__32_box__new^⚠