BendMlBpeTokenizer.pick: def of bend-ml-bpe-tokenizer@0.1.3.0
Import: import bend-ml-bpe-tokenizer@0.1.3.0/main.bend as BendMlBpeTokenizer
Lines 221-224 of bend-ml-bpe-tokenizer@0.1.3.0/main.bend: https://jend.leeeet.dev/read.txt?path=bend-ml-bpe-tokenizer@0.1.3.0/main.bend&start_line=221&end_line=224

import Base

def pick(c: Cnt, cur: Cnt) -> Cnt:
  match c cur:
    case Cnt{+a, +b, +k} Cnt{+x, +y, +m}:
      pick2(Nat.is_lt(m, k), Cnt{a, b, k}, Cnt{x, y, m})

Uses (3):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat.is_lt
  https://jend.leeeet.dev/definition.txt?path=bend-ml-bpe-tokenizer@0.1.3.0/main.bend&name=Cnt
  https://jend.leeeet.dev/definition.txt?path=bend-ml-bpe-tokenizer@0.1.3.0/main.bend&name=pick2