miri
1.84.0-beta.4
(202008a1b 2024-12-07)
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.