def first

bend-collections-laws-crypto@1.0.0.0 · spec/crypto/secp256k1/curve.bend:221

import Base

221def first(n: Nat, bs: List<&2, U32>) -> List<&2, U32>:
222  match n bs:
223    case 0n _: Nil{}
224    case 1n+k Nil{}: Nil{}
225    case 1n+k b <> t: b <> first(k, t)