BendMlBpeTokenizer.Tk: type of bend-ml-bpe-tokenizer@0.1.3.0
Import: import bend-ml-bpe-tokenizer@0.1.3.0/main.bend as BendMlBpeTokenizer
Lines 20-23 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=20&end_line=23

import Base

# Token: a raw byte (B) or the result of a merge rule, by rule id (M).
type Tk is Data:
  B{n: Nat}
  M{k: Nat}

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