def AcpiChecksum.ok

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

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

19# the bytes sum to zero modulo 256
20def AcpiChecksum.ok(o: B.Octets) -> Bool:
21  U32.is_eq(AcpiChecksum.sum(o), 0)