def hd0

import bend-collections@1.0.0.0/src/crypto/secp256k1/limbs.bend as Limbs

import Base

49def hd0(xs: List<&2, Nat>) -> Nat:
50  match xs:
51    case Nil{}: 0n
52    case x <> t: x

Uses (2)