def get

bend-collections-laws-crypto@1.0.0.0 · src/crypto/sha/core.bend:55

import Base

55def get(xs: List<&2, U32>, n: Nat) -> U32:
56  match xs n:
57    case Nil{} _:
58      0
59    case h <> t 0n:
60      h
61    case h <> t 1n+p:
62      get(t, p)