def prefix

bend-collections-laws-crypto@1.0.0.0 · src/crypto/secp256k1/bytes.bend:37

import Base

37def prefix(n: Nat, bs: List<&2, U32>) -> List<&2, U32>:
38  match n bs:
39    case 0n _: Nil{}
40    case 1n+k Nil{}: Nil{}
41    case 1n+k b <> t: b <> prefix(k, t)