docs: def filter(self,
                 predicate: Callable[[FileLine], 'FileLineSet']
                 ) -> 'FileLineSet':
          """
          Returns a subset of the file lines within this set that satisfy a given
          filtering criterion.
          """
          filtered = [fileline for fileline in self if predicate(fileline)]
          return FileLineSet.from_list(filtered)