~/jendhub

def KCounter.value.go

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

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

298def KCounter.value.go(-K: Data, s: KCounter<K>, acc: Maybe<&2, U32>) -> Maybe<&2, U32>:
299  match s:
300    case KNil{}:
301      acc
302    case KCon{x, c, r}:
303      KCounter.value.go(K, r, GCounter.add(acc, c))

Uses (4)

Used by (1)