def GCounter.valid.go

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

import Base

106def GCounter.valid.go(t: List<&2, U32>, last: U32) -> Bool:
107  match t:
108    case Nil{}:
109      U32.is_ne(last, 0)
110    case Con{c, u}:
111      GCounter.valid.go(u, c)