def rs.checked

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

import bend-osdev-acpi@0.1.1.0/rsdp.bend as Rsdp

import Base

64def rs.checked(m: Maybe<&2, AcpiRsdpExt>) -> Nat:
65  match m:
66    case None{}:
67      20n
68    case Some{AcpiRsdpExt{l, a}}:
69      U32.to_nat(l)

Uses (4)

Used by (1)

bend-osdev-acpi@0.1.1.0/rsdp:AcpiRsdp.checked