def at

bend-collections-laws-crypto@1.0.0.0 · src/crypto/chacha/chacha20.bend:35

import Base

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