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.

Enums

MiriAllocParams