def size.pair

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

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

import Base

276def size.pair(kr: Val & Nat, vr: Val & Nat, r: Val & Nat) -> Val & Nat:
277  (k, a) = kr
278  (v, b) = vr
279  (t, c) = r
280  size.obj(k, v, (t, (2n + a + b + c : Nat)))

Uses (6)

Used by (1)

bend-kit-cbor@0.3.0.0/cbor:size