Aml.AmlSystem.after: def of bend-osdev-acpi@0.1.1.0
Import: import bend-osdev-acpi@0.1.1.0/aml.bend as Aml
Lines 80-84 of bend-osdev-acpi@0.1.1.0/aml.bend: https://jend.leeeet.dev/read.txt?path=bend-osdev-acpi@0.1.1.0/aml.bend&start_line=80&end_line=84

import Base

# the system after an outcome: its namespace and host
def AmlSystem.after(-H: Data, s: AmlSystem<H>, o: AmlOutcome<H>) -> AmlSystem<H>:
  match s o:
    case AmlSystem{op, w, n, h} AmlOutcome{r, n2, h2, st, nt, d}:
      AmlSystem{op, w, n2, h2}

Uses (2):
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-acpi@0.1.1.0/aml.bend&name=AmlOutcome
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-acpi@0.1.1.0/aml.bend&name=AmlSystem