Canonical machine binding. Host directory/error queries remain stateful leaves, and source check_ptr_access remains distinct from a memory read/write.

def Miri.Interpreter.UnixEnvironmentMachine.bindMemory {K U Os Kind E : Type} [DecidableEq K] (access : PlaceMachine.AccessConfig K U) (arithmetic : Memory.PointerArithmetic) (strings : OsStrings.Hooks Memory.Provenance (MachineHooks.State K U) Os Kind) (checkAccess : Memory.Pointer (Option Memory.Provenance) → UInt64 → MachineHooks.M K U Unit) (base : UnixEnvironment.Hooks (MachineHooks.State K U) Os E Kind) : UnixEnvironment.Hooks (MachineHooks.State K U) Os E Kind

Equations

• One or more equations did not get rendered due to their size.