Module miri::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.