Module alloc_bytes

Structs

MiriAllocBytes

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.