def Tk.eq

bend-ml-bpe-tokenizer@0.1.3.0 · main.bend:29

import Base

29def Tk.eq(+x: Tk, +y: Tk) -> Bool:
30  match x y:
31    case B{+m} B{+n}:
32      Nat.is_eq(m, n)
33    case M{+i} M{+j}:
34      Nat.is_eq(i, j)
35    case B{m} M{j}:
36      False{}
37    case M{i} B{n}:
38      False{}