type KCounter

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

import Base

198# A G-Counter keyed by replica IDs. A valid state lists IDs in ascending cmp
199# order, each with a count above 0.
200type KCounter<-K: Data> is Data:
201  KNil{}
202  KCon{id: K, count: U32, rest: KCounter<K>}