Checksum.ck.fix.pick: def of bend-osdev-acpi@0.1.1.0
Import: import bend-osdev-acpi@0.1.1.0/checksum.bend as Checksum
Lines 29-34 of bend-osdev-acpi@0.1.1.0/checksum.bend: https://jend.leeeet.dev/read.txt?path=bend-osdev-acpi@0.1.1.0/checksum.bend&start_line=29&end_line=34

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

def ck.fix.pick(fits: Bool, +i: Nat, +o: B.Octets) -> B.Octets:
  match fits:
    case True{}:
      B.Octets.concat([B.Octets.take(i, o), B.Octets.of_list([AcpiChecksum.byte_for(i, o)]), B.Octets.drop(1n+i, o)])
    case False{}:
      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=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-acpi@0.1.1.0/checksum.bend&name=AcpiChecksum.byte_for
  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.concat
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-bytes@0.1.1.0/bytes.bend&name=Octets.drop
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-bytes@0.1.1.0/bytes.bend&name=Octets.of_list
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-bytes@0.1.1.0/bytes.bend&name=Octets.take