def KCounter.from_cbor.word

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

import Base

351def KCounter.from_cbor.word(-K: Data, ok: Bool, mk: Maybe<&2, K>, lo: U32, rest: Maybe<&2, KCounter<K>>) -> Maybe<&2, KCounter<K>>:
352  match ok mk:
353    case True{} Some{k}:
354      KCounter.cons(K, k, lo, rest)
355    case _ _:
356      None{}