def GCounter.from_cbor.word

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

import Base

139def GCounter.from_cbor.word(ok: Bool, lo: U32, rest: Maybe<&2, List<&2, U32>>) -> Maybe<&2, List<&2, U32>>:
140  match ok:
141    case True{}:
142      GCounter.cons(lo, rest)
143    case False{}:
144      None{}