Fadt.fadt.block.go: def of bend-osdev-acpi@0.1.1.0
Import: import bend-osdev-acpi@0.1.1.0/fadt.bend as Fadt
Lines 262-268 of bend-osdev-acpi@0.1.1.0/fadt.bend: https://jend.leeeet.dev/read.txt?path=bend-osdev-acpi@0.1.1.0/fadt.bend&start_line=262&end_line=268

import Base
import bend-osdev-acpi@0.1.1.0/gas.bend as G

def fadt.block.go(+k: AcpiFadtBlock, m: Maybe<&2, AcpiFadtExt>, +legacy: G.AcpiGas) -> G.AcpiGas:
  match m:
    case None{}:
      legacy
    case Some{AcpiFadtExt{rr, rv, ab, mv, xfc, xd, xx}}:
      +g = fadt.xblock(xx, k)
      fadt.choose(Bool.not(G.AcpiGas.is_null(g)), g, legacy)

Uses (8):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.not
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-acpi@0.1.1.0/fadt.bend&name=AcpiFadtBlock
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-acpi@0.1.1.0/fadt.bend&name=AcpiFadtExt
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-acpi@0.1.1.0/fadt.bend&name=fadt.choose
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-acpi@0.1.1.0/fadt.bend&name=fadt.xblock
  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-acpi@0.1.1.0/gas.bend&name=AcpiGas.is_null