def at

bend-collections-laws-crypto@1.0.0.0 · spec/crypto/blake/blake3.bend:44

import bend-collections-laws-crypto@1.0.0.0/spec/crypto/blake/blake3.bend as Blake3

import Base

44def at(xs: List<&2,U32>, i: Nat) -> U32:
45  match xs i:
46    case Nil{} _: 0
47    case Con{x,r} 0n: x
48    case Con{x,r} 1n+j: at(r,j)

Uses (3)

Used by (8)