def tl

bend-collections-laws-crypto@1.0.0.0 · src/crypto/secp256k1/limbs.bend:54

import Base

54def tl(xs: List<&2, Nat>) -> List<&2, Nat>:
55  match xs:
56    case Nil{}: Nil{}
57    case x <> t: t