def GCounter.to_cbor

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

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

135# A CBOR array of unsigned integers: the count of replica i is item i.
136def GCounter.to_cbor(s: List<&2, U32>) -> Cbor.Val:
137  Cbor.Arr{GCounter.to_cbor.items(s)}