def rs.p2

bend-osdev-acpi@0.1.1.0 · rsdp.bend:115

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/checksum.bend as C

115def rs.p2(ok: Bool, +o: B.Octets) -> Result<&2, &2, E.AcpiError, AcpiRsdp>:
116  match ok:
117    case False{}:
118      Fail{E.AcpiBadSignature{B.Octets.take(8n, o)}}
119    case True{}:
120      rs.p3(C.AcpiChecksum.ok(B.Octets.take(20n, o)), o)