def copyandmatchfilter(termset, tokens):
    for t in tokens:
        t = t.copy()
        t.matched = t.text in termset
        yield t

# Fragmenters
dataset/ETHPy150Open tallstreet/Whoosh-AppEngine/src/whoosh/highlight.py/copyandmatchfilter/original