Crdt.GCounter.inc: def of bend-kit-crdt@0.2.0.0
Import: import bend-kit-crdt@0.2.0.0/crdt.bend as Crdt
Lines 68-76 of bend-kit-crdt@0.2.0.0/crdt.bend: https://jend.leeeet.dev/read.txt?path=bend-kit-crdt@0.2.0.0/crdt.bend&start_line=68&end_line=76

import Base

# Adds 1 to the count of replica i. None when that count is 4294967295.
def GCounter.inc(s: List<&2, U32>, i: Nat) -> Maybe<&2, List<&2, U32>>:
  match s i:
    case Nil{} _:
      Some{GCounter.pad(i)}
    case Con{+c, t} 0n:
      GCounter.inc.at(U32.is_lt(c, U32.inc(c)), U32.inc(c), t)
    case Con{c, t} 1n+p:
      GCounter.cons(c, GCounter.inc(t, p))

Uses (9):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.inc
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.is_lt
  https://jend.leeeet.dev/definition.txt?path=bend-kit-crdt@0.2.0.0/crdt.bend&name=GCounter.cons
  https://jend.leeeet.dev/definition.txt?path=bend-kit-crdt@0.2.0.0/crdt.bend&name=GCounter.inc.at
  https://jend.leeeet.dev/definition.txt?path=bend-kit-crdt@0.2.0.0/crdt.bend&name=GCounter.pad