def KCounter.hit

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

import Base

224def KCounter.hit(c: Cmp, n: U32) -> U32:
225  match c:
226    case LT{}:
227      0
228    case EQ{}:
229      n
230    case GT{}:
231      0