def get

bend-collections-laws-crypto@1.0.0.0 · spec/math/random/chacha8rand.bend:36

import Base

36def get(xs: List<&2, U32>, i: Nat) -> U32:
37  match xs i:
38    case Nil{} _:
39      0
40    case Con{x, rest} 0n:
41      x
42    case Con{x, rest} 1n+p:
43      get(rest, p)