1 (* Not a string as such, more like a symbol *)
4 type textMark = string;;
8 type textTag = string;;
15 | CharOffset of int (* tk keyword: +/- Xchars *)
16 | LineOffset of int (* tk keyword: +/- Xlines *)
17 | LineStart (* tk keyword: linestart *)
18 | LineEnd (* tk keyword: lineend *)
19 | WordStart (* tk keyword: wordstart *)
20 | WordEnd (* tk keyword: wordend *)
26 | TextIndex of index * textModifier list
35 | `Char of int (* tk keyword: +/- Xchars *)
36 | `Line of int (* tk keyword: +/- Xlines *)
37 | `Linestart (* tk keyword: linestart *)
38 | `Lineend (* tk keyword: lineend *)
39 | `Wordstart (* tk keyword: wordstart *)
40 | `Wordend (* tk keyword: wordend *)
46 type textIndex = text_index * textModifier list