def GCounter.cons

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

import bend-kit-crdt@0.2.0.0/crdt.bend as Crdt

import Base

53def GCounter.cons(c: U32, m: Maybe<&2, List<&2, U32>>) -> Maybe<&2, List<&2, U32>>:
54  match m:
55    case None{}:
56      None{}
57    case Some{t}:
58      Some{Con{c, t}}

Uses (3)

Used by (2)