def KCounter.from_cbor.gate

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

import Base

373def KCounter.from_cbor.gate(-K: Data, ok: Bool, s: KCounter<K>) -> Maybe<&2, KCounter<K>>:
374  match ok:
375    case True{}:
376      Some{s}
377    case False{}:
378      None{}