def slit.at
import bend-osdev-acpi@0.1.1.0/slit.bend as Slitimport Base
import bend-osdev-bytes@0.1.1.0/bytes.bend as B
54def slit.at(ok: Bool, +n: Nat, +m: B.Octets, +i: Nat, j: Nat) -> Maybe<&2, U32>:
55 match ok:
56 case False{}:
57 None{}
58 case True{}:
59 B.Octets.at(m, Nat.add(Nat.mul(i, n), j))