let
filter g ts =
Tools
.keep_prev_loc (
Token
.
Filter
.filter g.gfilter ts)