Skip to main content

Module vm_space

Module vm_space 

Source
Expand description

Embedding of VmSpace-level operations: creation and drop.

Per-op steps operate on tracked owners directly — no store lookups, no preconditions on store membership, no if-guards. The store-side extract / insert and id-management lives in super::VmStore’s methods and the super::step dispatcher.

Functions§

vm_space_new_embedded