def GCounter.size

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

import Base

121def GCounter.size(s: List<&2, U32>) -> U32:
122  match s:
123    case Nil{}:
124      0
125    case Con{c, t}:
126      (1 + GCounter.size(t) : U32)