def encode.sized

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

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

import Base
import bend-kit-bytes@0.3.3.0/bytes.bend as Bytes

399def encode.sized(r: Val & Nat) -> Maybe<&1, Bytes.Bytes>:
400  (v, n) = r
401  encode.done(encode.go((1n + n : Nat), Con{IVal{v}, Nil{}}, empty()))

Uses (12)

Used by (1)

bend-kit-cbor@0.3.0.0/cbor:encode