Fadt.fadt.ext: def of bend-osdev-acpi@0.1.2.0
Import: import bend-osdev-acpi@0.1.2.0/fadt.bend as Fadt
Lines 66-71 of bend-osdev-acpi@0.1.2.0/fadt.bend: https://jend.leeeet.dev/read.txt?path=bend-osdev-acpi@0.1.2.0/fadt.bend&start_line=66&end_line=71

import Base
import bend-osdev-bytes@0.1.1.1/bytes.bend as B
import bend-osdev-acpi@0.1.2.0/fields.bend as F
import bend-osdev-acpi@0.1.2.0/gas.bend as G

def fadt.ext(has: Bool, +o: B.Octets) -> Maybe<&2, AcpiFadtExt>:
  match has:
    case False{}:
      None{}
    case True{}:
      Some{AcpiFadtExt{G.AcpiGas.at(o, 116n), F.AcpiF.u8(o, 128n), F.AcpiF.u16(o, 129n), F.AcpiF.u8(o, 131n), F.AcpiF.u64(o, 132n), F.AcpiF.u64(o, 140n), fadt.x(o)}}

Uses (9):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-acpi@0.1.2.0/fadt.bend&name=AcpiFadtExt
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-acpi@0.1.2.0/fadt.bend&name=fadt.x
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-acpi@0.1.2.0/fields.bend&name=AcpiF.u16
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-acpi@0.1.2.0/fields.bend&name=AcpiF.u64
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-acpi@0.1.2.0/fields.bend&name=AcpiF.u8
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-acpi@0.1.2.0/gas.bend&name=AcpiGas.at
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-bytes@0.1.1.1/bytes.bend&name=Octets