type Mark

yaml-for-bend@0.1.1.0 · token.bend:5

import Base

5# A place in the text: the line and column (each from 0, a column counted in
6# characters) and the character's index from the start.
7type Mark is Data:
8  Mark{line: Nat, col: Nat, idx: Nat}