def GCounter.to_cbor.items

bend-kit-crdt@0.2.0.0 · crdt.bend:128

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

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