Module alloc 

Structs

ExGlobal

Functions

_verus_external_fn_specification_948_alloc_32__58__58__32_boxed_32__58__58__32_box__assume__init__into__vec__unsafe^⚠

_verus_external_fn_specification_949_alloc_32__58__58__32_intrinsics_32__58__58__32_write__box__via__move^⚠

_verus_external_fn_specification_950_alloc_32__58__58__32_boxed_32__58__58__32_Box_32__58__58__32__60__32_T_32__62__32__58__58__32_new__uninit^⚠