42
42
(* We do not require the type ['token] to actually be a triple type.
43
43
This enables complex applications where it is a record type with
45
45
positions are of no interest, so ['token] is just ['raw_token]
46
46
and [get_startp] and [get_endp] return dummy positions. *)