Crdt.KCounter.head: def of bend-kit-crdt@0.2.0.0
Import: import bend-kit-crdt@0.2.0.0/crdt.bend as Crdt
Lines 208-214 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=208&end_line=214

import Base

# cmp(x, first ID of b), or EQ when b is empty.
def KCounter.head(~K: Data, ~cmp: K -> K -> Cmp, +x: K, b: KCounter<K>) -> Cmp:
  match b:
    case KNil{}:
      EQ{}
    case KCon{y, d, t}:
      cmp(x, y)

Uses (2):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Cmp
  https://jend.leeeet.dev/definition.txt?path=bend-kit-crdt@0.2.0.0/crdt.bend&name=KCounter