~/jendhub

def size.arr

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

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

255def size.arr(h: Val, r: Val & Nat) -> Val & Nat:
256  (t, n) = r
257  match t:
258    case Arr{items}:
259      (Arr{Con{h, items}}, n)
260    case _:
261      (Arr{Nil{}}, n)

Uses (5)

Used by (1)