law run_steps_bound

bend-osdev-acpi@0.1.1.0 · LAWS.bend:92

import Base
import bend-osdev-acpi@0.1.1.0/aml_host.bend as Hs
import bend-osdev-acpi@0.1.1.0/aml_interp.bend as I

92law run_steps_bound:
93  for +n: Nat
94  for +m: I.AmlMachine<Hs.AmlMemHost>
95  {Nat.is_le(I.AmlRun.steps(Hs.AmlMemHost, I.AmlM.run(~Hs.AmlMemHost, ~Hs.AmlMemHost.io, n, m)), n) == True{} : Bool}