def AmlM.run

bend-osdev-acpi@0.1.1.0 · aml_interp.bend:2943

import Base
import bend-osdev-acpi@0.1.1.0/error.bend as E
import bend-osdev-acpi@0.1.1.0/aml_host.bend as Hs

2943# the machine run until it halts, or for n steps
2944def AmlM.run(~H: Data, ~io: H -> Hs.AmlHostOp -> Result<&2, &2, E.AcpiError, Hs.AmlHostAns<H>>, n: Nat, +m: AmlMachine<H>) -> AmlRun<H>:
2945  AmlM.run.go(~H, ~io, n, AmlMachine.halted(H, m), m, 0n)