List of all items

Structs

• Idx
• live::LArena
• live::LHeap
• live::LRuntime
• live::LShapeStore
• verified::AllocHistory
• verified::HeapOp
• verified::VArena
• verified::VFieldDef
• verified::VFieldView
• verified::VHeap
• verified::VPtr
• verified::VRuntime
• verified::VShapeDef
• verified::VShapeHandle
• verified::VShapeStore
• verified::VShapeView
• verified::VStructDef
• verified::VStructView

Enums

• verified::HeapOpKind
• verified::VDef
• verified::VHeapError

Traits

• IArena
• IField
• IHeap
• IPtr
• IRuntime
• IShape
• IShapeExtra
• IShapeStore
• IStructType
• LiveRuntime

Functions

• verified::vshape_register
• verified::vshape_store
• verified::vshape_store_reset
• verified::vshape_view

Type Aliases

• verified::VLayout
• verified::VLayoutError

Constants

• verified::MAX_FIELDS_PER_STRUCT
• verified::MAX_SHAPES_PER_STORE
• verified::MAX_VARENA_SLOTS
• verified::MAX_VHEAP_ALLOCS