Crdt.KCounter.to_cbor.items: def of bend-kit-crdt@0.2.0.0
Import: import bend-kit-crdt@0.2.0.0/crdt.bend as Crdt
Lines 340-345 of bend-kit-crdt@0.2.0.0/crdt.bend: https://jend.leeeet.dev/read.txt?path=bend-kit-crdt@0.2.0.0/crdt.bend&start_line=340&end_line=345

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

def KCounter.to_cbor.items(~K: Data, ~enc: K -> Cbor.Val, s: KCounter<K>) -> List<&1, Cbor.Val & Cbor.Val>:
  match s:
    case KNil{}:
      Nil{}
    case KCon{x, c, r}:
      Con{(enc(x), Cbor.UInt{Cbor.W64{0, c}}), KCounter.to_cbor.items(~K, ~enc, r)}

Uses (6):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Pair
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Sigma
  https://jend.leeeet.dev/definition.txt?path=bend-kit-cbor@0.3.0.0/cbor.bend&name=Val
  https://jend.leeeet.dev/definition.txt?path=bend-kit-cbor@0.3.0.0/cbor.bend&name=W64
  https://jend.leeeet.dev/definition.txt?path=bend-kit-crdt@0.2.0.0/crdt.bend&name=KCounter