def GCounter.valid

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

import Base

113# A valid state has no trailing 0, so each count vector has one form.
114def GCounter.valid(s: List<&2, U32>) -> Bool:
115  match s:
116    case Nil{}:
117      True{}
118    case Con{c, t}:
119      GCounter.valid.go(t, c)