def slit.at

bend-osdev-acpi@0.1.1.0 · slit.bend:54

import bend-osdev-acpi@0.1.1.0/slit.bend as Slit
import 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))

Uses (8)

Used by (1)