def GCounter.value

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

import Base

92# The sum of all counts. None when the sum does not fit in a U32.
93def GCounter.value(s: List<&2, U32>) -> Maybe<&2, U32>:
94  GCounter.value.go(s, Some{0})

Uses (4)

U32
List
Maybe
bend-kit-crdt@0.2.0.0/crdt:GCounter.value.go

Used by (0)

No other definition uses this definition.