law eval_steps_bound

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

import Base
import bend-osdev-acpi@0.1.1.0/aml_value.bend as V
import bend-osdev-acpi@0.1.1.0/aml_host.bend as Hs
import bend-osdev-acpi@0.1.1.0/aml.bend as A

103law eval_steps_bound:
104  for +s: A.AmlSystem<Hs.AmlMemHost>
105  for +p: String
106  for +args: List<&2, V.AmlValue>
107  for +n: Nat
108  {Nat.is_le(A.AmlOutcome.steps(Hs.AmlMemHost, A.Aml.eval(~Hs.AmlMemHost, ~Hs.AmlMemHost.io, s, p, args, n)), n) == True{} : Bool}