~/jendhub

def vals.length

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

import bend-kit-cbor@0.3.0.0/cbor.bend as Cbor
import Base

241def vals.length(xs: List<&1, Val>) -> List<&1, Val> & Nat:
242  match xs:
243    case Nil{}:
244      (Nil{}, 0n)
245    case Con{h, t}:
246      vals.length.put(h, vals.length(t))

Uses (6)

Used by (1)