Crdt.GCounter.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 128-133 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=128&end_line=133

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

def GCounter.to_cbor.items(s: List<&2, U32>) -> List<&1, Cbor.Val>:
  match s:
    case Nil{}:
      Nil{}
    case Con{c, t}:
      Con{Cbor.UInt{Cbor.W64{0, c}}, GCounter.to_cbor.items(t)}

Uses (4):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  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