Construct the pinned Windows std-only startup arms from the actual frame, compiler ABI/constants, Main memory, thread manager and last-error state. The source's std-frame restriction is evaluated at each call.

@[reducible, inline]

abbrev Miri.Input.EvalWindowsStdOnlyConstruction.Payload (Os R P H D O Aff B Host : Type) : Type

Equations

• Miri.Input.EvalWindowsStdOnlyConstruction.Payload Os R P H D O Aff B Host = Miri.Interpreter.ValidityMachine.UserState (Miri.Input.EvalCoreMachine.World Os R P H D O Aff B Host)

@[reducible, inline]

abbrev Miri.Input.EvalWindowsStdOnlyConstruction.State (Os R P H D O Aff B Host : Type) : Type

Equations

• Miri.Input.EvalWindowsStdOnlyConstruction.State Os R P H D O Aff B Host = Miri.Interpreter.MainMachine.State (Miri.Input.EvalWindowsStdOnlyConstruction.Payload Os R P H D O Aff B Host)

def Miri.Input.EvalWindowsStdOnlyConstruction.fromSource {Os R P H D O Aff B Host C Destination Body Instance Error : Type} (p : CompilerProviders.Prepared) (userRelevantCrates : Array Nat) (foreign : Interpreter.ForeignItems.Core Memory.Provenance (State Os R P H D O Aff B Host) Destination (Interpreter.MPlaceTy Memory.Provenance) (Memory.Pointer (Option Memory.Provenance)) Body Instance) (place : Interpreter.PlaceHooks Memory.Provenance (State Os R P H D O Aff B Host) C Interpreter.MachineHooks.FrameExtra) (errors : Interpreter.IoError.Hooks (State Os R P H D O Aff B Host) Error) (choice : C) : Except Interpreter.StepError (Interpreter.StdOnlyShims.WindowsHooks Memory.Provenance (State Os R P H D O Aff B Host) Destination (Interpreter.MPlaceTy Memory.Provenance) Body Instance)

Equations

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