~/jendhub

def head

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

import bend-collections-laws-crypto@1.0.0.0/spec/crypto/secp256k1/curve.bend as Curve
import Base

233def head(bs: List<&2, U32>) -> U32:
234  match bs:
235    case Nil{}: 0
236    case b <> t: b

Uses (2)

Used by (11)