def head
import bend-collections-laws-crypto@1.0.0.0/src/crypto/secp256k1/bytes.bend as Bytesimport Base
49def head(bs: List<&2, U32>) -> U32:
50 match bs:
51 case Nil{}: 0
52 case b <> t: b
Uses (2)
Used by (12)
- bend-collections-laws-crypto@1.0.0.0/proofs/crypto/secp256k1/blist:head_eq
- bend-collections-laws-crypto@1.0.0.0/src/crypto/secp256k1/point:decode_len
- 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_go
- bend-collections-laws-crypto@1.0.0.0/src/crypto/secp256k1/ecdsa:words
- …