def KCounter.to_cbor
import bend-kit-crdt@0.2.0.0/crdt.bend as Crdtimport Base
import bend-kit-cbor@0.3.0.0/cbor.bend as Cbor
347# A CBOR map from each encoded ID to its count, in ID order.
348def KCounter.to_cbor(~K: Data, ~enc: K -> Cbor.Val, s: KCounter<K>) -> Cbor.Val:
349 Cbor.Obj{KCounter.to_cbor.items(~K, ~enc, s)}