def mem.find

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

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

63def mem.find(rs: List<&2, AcpiMemRegion>, +addr: W.W64, +n: Nat) -> Maybe<&2, B.Octets>:
64  match rs:
65    case Nil{}:
66      None{}
67    case Con{h, t}:
68      Maybe.or(&2, B.Octets, mem.try(h, addr, n), mem.find(t, addr, n))