(module GtkTreeProps.TreeModelFilter)