LAWS.aml_eval_sta: law of bend-osdev-acpi@0.1.1.0
Import: import bend-osdev-acpi@0.1.1.0/LAWS.bend as LAWS
Lines 199-202 of bend-osdev-acpi@0.1.1.0/LAWS.bend: https://jend.leeeet.dev/read.txt?path=bend-osdev-acpi@0.1.1.0/LAWS.bend&start_line=199&end_line=202

import Base
import bend-osdev-word64@0.1.1.0/word64.bend as W
import bend-osdev-acpi@0.1.1.0/error.bend as E
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
import bend-osdev-acpi@0.1.1.0/aml_term.bend as T

# the interpreter: Method (_STA) { Return (0x0F) } loaded at the root, and
# called
law aml_eval_sta:
  {A.AmlOutcome.result(Hs.AmlMemHost, A.Aml.eval_mem(A.AmlSystem.after(Hs.AmlMemHost, A.Aml.mem_system(True{}), A.Aml.load_mem(A.Aml.mem_system(True{}), T.AmlT.encode([T.AmlT.method("_STA", 0n, False{}, [T.AmlT.ret(T.AmlT.int32(15))])]), 100n)), "\\_STA", Nil{}, 100n)) == Done{V.AmlInt{W.W64.from_u32(15)}} : Result<&2, &2, E.AcpiError, V.AmlValue>}

Uses (16):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Result
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-acpi@0.1.1.0/aml.bend&name=Aml.eval_mem
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-acpi@0.1.1.0/aml.bend&name=Aml.load_mem
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-acpi@0.1.1.0/aml.bend&name=Aml.mem_system
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-acpi@0.1.1.0/aml.bend&name=AmlOutcome.result
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-acpi@0.1.1.0/aml.bend&name=AmlSystem.after
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-acpi@0.1.1.0/aml_host.bend&name=AmlMemHost
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-acpi@0.1.1.0/aml_term.bend&name=AmlT.encode
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-acpi@0.1.1.0/aml_term.bend&name=AmlT.int32
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-acpi@0.1.1.0/aml_term.bend&name=AmlT.method
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-acpi@0.1.1.0/aml_term.bend&name=AmlT.ret
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-acpi@0.1.1.0/aml_value.bend&name=AmlValue
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-acpi@0.1.1.0/error.bend&name=AcpiError
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-word64@0.1.1.0/word64.bend&name=W64.from_u32