miri
1.85.0-nightly
(5f23ef7d3 2024-12-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.