def GCounter.decode

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

import Base
import bend-kit-bytes@0.3.3.0/bytes.bend as Bytes
import bend-kit-cbor@0.3.0.0/cbor.bend as Cbor

194# CBOR bytes to a valid state with at most cap replicas, or None.
195def GCounter.decode(b: Bytes.Bytes, +cap: U32) -> Maybe<&2, List<&2, U32>>:
196  GCounter.decode.go(Cbor.decode(b), cap)