~/jendhub

def GCounter.value.go

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

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

85def GCounter.value.go(s: List<&2, U32>, acc: Maybe<&2, U32>) -> Maybe<&2, U32>:
86  match s:
87    case Nil{}:
88      acc
89    case Con{c, t}:
90      GCounter.value.go(t, GCounter.add(acc, c))

Uses (4)

Used by (1)