def GCounter.inc.at

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

import Base

60# ok is false when n wrapped to 0.
61def GCounter.inc.at(ok: Bool, n: U32, t: List<&2, U32>) -> Maybe<&2, List<&2, U32>>:
62  match ok:
63    case True{}:
64      Some{Con{n, t}}
65    case False{}:
66      None{}