~/jendhub

def KCounter.inc

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

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

294# Adds 1 to the count of replica k. None when that count is 4294967295.
295def KCounter.inc(~K: Data, ~cmp: K -> K -> Cmp, +s: KCounter<K>, +k: K) -> Maybe<&2, KCounter<K>>:
296  KCounter.inc.go(~K, ~cmp, s, k, KCounter.head(~K, ~cmp, k, s))

Uses (5)

Used by (0)

No other definition uses this definition.