def rs.find.go

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

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

157def rs.find.go(fuel: Nat, hit: Bool, +o: B.Octets, +i: Nat) -> Maybe<&2, Nat>:
158  match fuel:
159    case 0n:
160      None{}
161    case 1n+p:
162      match hit:
163        case True{}:
164          Some{i}
165        case False{}:
166          +j = Nat.add(i, 16n)
167          rs.find.go(p, rs.here(o, j), o, j)