def GCounter.merge_all

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

import Base

37# The merge of every state in the list.
38def GCounter.merge_all(xs: List<&2, List<&2, U32>>) -> List<&2, U32>:
39  match xs:
40    case Nil{}:
41      Nil{}
42    case Con{x, t}:
43      GCounter.merge(x, GCounter.merge_all(t))