def pairs.length

bend-kit-cbor@0.3.0.0 · cbor.bend:248

import bend-kit-cbor@0.3.0.0/cbor.bend as Cbor
import 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))

Uses (6)

Used by (1)