def get

bend-collections@1.0.0.0 · proofs/crypto/sha/packed/core_model.bend:9

import Base

9def get(xs: List<&2, U32>, n: Nat) -> U32:
10  match xs n:
11    case Nil{} _:
12      0
13    case h <> t 0n:
14      h
15    case h <> t 1n+p:
16      get(t, p)