miri
1.84.0-nightly
(3fee0f12e 2024-11-20)
Module alloc_
bytes
Module Items
Structs
In crate miri
miri
Module
alloc_bytes
Copy item path
Source
Structs
§
Miri
Alloc
Bytes
Allocation bytes that explicitly handle the layout of the data they’re storing. This is necessary to interface with native code that accesses the program store in Miri.