Crdt.KCounter.hit: def of bend-kit-crdt@0.2.0.0
Import: import bend-kit-crdt@0.2.0.0/crdt.bend as Crdt
Lines 224-231 of bend-kit-crdt@0.2.0.0/crdt.bend: https://jend.leeeet.dev/read.txt?path=bend-kit-crdt@0.2.0.0/crdt.bend&start_line=224&end_line=231

import Base

def KCounter.hit(c: Cmp, n: U32) -> U32:
  match c:
    case LT{}:
      0
    case EQ{}:
      n
    case GT{}:
      0

Uses (2):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Cmp
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32