miri
1.83.0-nightly
(26b5599e4 2024-09-06)
Module alloc_
bytes
Module Items
Structs
In crate miri
Module
miri
::
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.