def tl

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

import Base

20def tl(xs: List<&2, U32>) -> List<&2, U32>:
21  match xs:
22    case Nil{}: Nil{}
23    case x <> t: t

Uses (2)