Fadt.fadt.enc.sleep: def of bend-osdev-acpi@0.1.1.0
Import: import bend-osdev-acpi@0.1.1.0/fadt.bend as Fadt
Lines 293-298 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=293&end_line=298

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

def fadt.enc.sleep(m: Maybe<&2, AcpiFadtSleep>) -> B.Octets:
  match m:
    case None{}:
      B.Octets.zeros(24n)
    case Some{AcpiFadtSleep{c, s}}:
      B.Octets.append(G.AcpiGas.encode(c), G.AcpiGas.encode(s))

Uses (6):
  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=AcpiFadtSleep
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-acpi@0.1.1.0/gas.bend&name=AcpiGas.encode
  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.zeros