def ck.fix.pick

bend-osdev-acpi@0.1.1.0 · checksum.bend:29

import bend-osdev-acpi@0.1.1.0/checksum.bend as Checksum

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

29def ck.fix.pick(fits: Bool, +i: Nat, +o: B.Octets) -> B.Octets:
30  match fits:
31    case True{}:
32      B.Octets.concat([B.Octets.take(i, o), B.Octets.of_list([AcpiChecksum.byte_for(i, o)]), B.Octets.drop(1n+i, o)])
33    case False{}:
34      o

Uses (9)

Used by (2)