~/jendhub

def AcpiSlit.distance

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

import bend-osdev-acpi@0.1.1.0/slit.bend as Slit
import Base

61# the distance from locality i to locality j, if both are below N
62def AcpiSlit.distance(s: AcpiSlit, +i: Nat, +j: Nat) -> Maybe<&2, U32>:
63  match s:
64    case AcpiSlit{h, +n, m}:
65      slit.at(Bool.and(Nat.is_lt(i, n), Nat.is_lt(j, n)), n, m, i, j)

Uses (7)

Used by (1)