def rs.p4

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

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/fields.bend as F

101def rs.p4(v1: Bool, +o: B.Octets) -> Result<&2, &2, E.AcpiError, AcpiRsdp>:
102  match v1:
103    case True{}:
104      Done{AcpiRsdp{F.AcpiF.bytes(o, 9n, 6n), F.AcpiF.u8(o, 15n), F.AcpiF.u32(o, 16n), None{}}}
105    case False{}:
106      rs.p5(Nat.is_le(36n, B.Octets.len(o)), o)