let
mk_annot_atom parse_state str pos =
Annot
.
Atom
(get_annot_range parse_state pos,
Atom
str)