def get

bend-lawful-stdlib@0.1.0.0 · src/vec.bend:31

import Base
import bend-lawful-stdlib@0.1.0.0/src/nat.bend as Nat

31def get(-A: Data, n: Nat, v: Vec(A, n), i: Nat, lt: Nat.LT(i, n)) -> A:
32  match n:
33    case 0n:
34      match lt:
35    case 1n+p:
36      (h, t) = v
37      match i:
38        case 0n:
39          h
40        case 1n+j:
41          get(A, p, t, j, lt)