law sdt_check_sums

bend-osdev-acpi@0.1.1.0 · LAWS.bend:63

import Base
import bend-osdev-bytes@0.1.1.0/bytes.bend as B
import bend-osdev-acpi@0.1.1.0/error.bend as E
import bend-osdev-acpi@0.1.1.0/header.bend as H
import bend-osdev-acpi@0.1.1.0/checksum.bend as C

63law sdt_check_sums:
64  for +o: B.Octets
65  for +raw: B.Octets
66  for +e: {H.AcpiSdt.check(o) == Done{raw} : Result<&2, &2, E.AcpiError, B.Octets>}
67  {C.AcpiChecksum.ok(raw) == True{} : Bool}