Gas.AcpiGas.encode: def of bend-osdev-acpi@0.1.1.0
Import: import bend-osdev-acpi@0.1.1.0/gas.bend as Gas
Lines 43-46 of bend-osdev-acpi@0.1.1.0/gas.bend: https://jend.leeeet.dev/read.txt?path=bend-osdev-acpi@0.1.1.0/gas.bend&start_line=43&end_line=46

import Base
import bend-osdev-bytes@0.1.1.0/bytes.bend as B

def AcpiGas.encode(g: AcpiGas) -> B.Octets:
  match g:
    case AcpiGas{s, w, off, a, addr}:
      B.Octets.append(B.Octets.of_list([s, w, off, a]), B.Octets.le64(addr))

Uses (6):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-acpi@0.1.1.0/gas.bend&name=AcpiGas
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-bytes@0.1.1.0/bytes.bend&name=Octets
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-bytes@0.1.1.0/bytes.bend&name=Octets.append
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-bytes@0.1.1.0/bytes.bend&name=Octets.le64
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-bytes@0.1.1.0/bytes.bend&name=Octets.of_list