def pairs.length
import bend-kit-cbor@0.3.0.0/cbor.bend as Cborimport Base
248def pairs.length(xs: List<&1, Val & Val>) -> List<&1, Val & Val> & Nat:
249 match xs:
250 case Nil{}:
251 (Nil{}, 0n)
252 case Con{h, t}:
253 pairs.length.put(h, pairs.length(t))