~/jendhub

def KCounter.value

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

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

305# The sum of all counts. None when the sum does not fit in a U32.
306def KCounter.value(-K: Data, s: KCounter<K>) -> Maybe<&2, U32>:
307  KCounter.value.go(K, s, Some{0})

Uses (4)

Used by (0)

No other definition uses this definition.