def uints.nth

gralha-text-scan@0.1.0.1 · scan.bend:238

import gralha-text-scan@0.1.0.1/scan.bend as Scan

import Base

238def uints.nth(xs: List<&2, U32>, n: Nat, +fallback: U32) -> U32:
239  match xs n:
240    case Nil{} _: fallback
241    case Con{h, t} 0n: h
242    case Con{h, t} 1n+d: uints.nth(t, d, fallback)

Uses (3)

Used by (7)