def GCounter.get

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

import Base

15# The count of replica i.
16def GCounter.get(s: List<&2, U32>, i: Nat) -> U32:
17  match s i:
18    case Nil{} _:
19      0
20    case Con{c, t} 0n:
21      c
22    case Con{c, t} 1n+p:
23      GCounter.get(t, p)