def GCounter.from_cbor.gate

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

import Base

161def GCounter.from_cbor.gate(ok: Bool, s: List<&2, U32>) -> Maybe<&2, List<&2, U32>>:
162  match ok:
163    case True{}:
164      Some{s}
165    case False{}:
166      None{}