~/jendhub

def size.tag

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

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

282def size.tag(+number: W64, r: Val & Nat) -> Val & Nat:
283  (v, n) = r
284  (Tag{number, v}, (4n + n : Nat))

Uses (6)

Used by (1)