def suffix
import bend-collections-laws-crypto@1.0.0.0/src/crypto/secp256k1/bytes.bend as Bytesimport Base
43def suffix(n: Nat, bs: List<&2, U32>) -> List<&2, U32>:
44 match n bs:
45 case 0n _: bs
46 case 1n+k Nil{}: Nil{}
47 case 1n+k b <> t: suffix(k, t)
Uses (3)
Used by (18)
- bend-collections-laws-crypto@1.0.0.0/proofs/crypto/secp256k1/blist:suffix_after
- bend-collections-laws-crypto@1.0.0.0/src/crypto/secp256k1/point:decode_65
- bend-collections-laws-crypto@1.0.0.0/proofs/crypto/secp256k1/blist:sl32
- bend-collections-laws-crypto@1.0.0.0/src/crypto/secp256k1/ecdsa:ecrecover_in
- bend-collections-laws-crypto@1.0.0.0/src/crypto/secp256k1/ecdsa:eth_if
- …