def KCounter.size

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

import bend-kit-crdt@0.2.0.0/crdt.bend as Crdt

import Base

333def KCounter.size(-K: Data, s: KCounter<K>) -> U32:
334  match s:
335    case KNil{}:
336      0
337    case KCon{x, c, r}:
338      (1 + KCounter.size(K, r) : U32)

Uses (3)

Used by (1)

bend-kit-crdt@0.2.0.0/crdt:KCounter.from_cbor.check