Struct MemoryUnit 

pub(crate) struct MemoryUnit<'z3, 'tcx> {
    pub(crate) allocation: Allocation<'z3, 'tcx>,
    pub(crate) content: MemoryContent<'z3, 'tcx>,
}

A single allocation: its shape metadata (Allocation) plus its contents (MemoryContent). Splitting the two keeps the identity/layout facts apart from the mutable memory the values live in, while colocating them in one unit so no parallel table can drift out of sync. Facts live in three anchored layers — lifecycle (AllocFacts), content (ContentFacts), and value (ValueFacts on each VmValue) — see each type’s doc.

Fields

allocation: Allocation<'z3, 'tcx>

The allocation’s shape and lifecycle facts.

content: MemoryContent<'z3, 'tcx>

The allocation’s contents (byte layer + typed-value layer) and content facts.