(
module
GtkTreeProps
.
TreeModelFilter
)