BendMlBpeTokenizer.Tk.eq: 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 29-38 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=29&end_line=38

import Base

def Tk.eq(+x: Tk, +y: Tk) -> Bool:
  match x y:
    case B{+m} B{+n}:
      Nat.is_eq(m, n)
    case M{+i} M{+j}:
      Nat.is_eq(i, j)
    case B{m} M{j}:
      False{}
    case M{i} B{n}:
      False{}

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