AmlDevice.dv.prt.cons: def of bend-osdev-acpi@0.1.1.0
Import: import bend-osdev-acpi@0.1.1.0/aml_device.bend as AmlDevice
Lines 123-130 of bend-osdev-acpi@0.1.1.0/aml_device.bend: https://jend.leeeet.dev/read.txt?path=bend-osdev-acpi@0.1.1.0/aml_device.bend&start_line=123&end_line=130

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

def dv.prt.cons(r: Result<&2, &2, E.AcpiError, AmlPrtEntry>, rs: Result<&2, &2, E.AcpiError, List<&2, AmlPrtEntry>>) -> Result<&2, &2, E.AcpiError, List<&2, AmlPrtEntry>>:
  match r rs:
    case Done{e} Done{es}:
      Done{Con{e, es}}
    case Fail{e} _:
      Fail{e}
    case Done{e} Fail{x}:
      Fail{x}

Uses (4):
  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_device.bend&name=AmlPrtEntry
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-acpi@0.1.1.0/error.bend&name=AcpiError