# Module GtkTreeProps.TreeModelFilter

    module TreeModelFilter: sig .. end

    val cast : 'a Gobject.obj -> Gtk.tree_model_filter

    module P: sig .. end

    val create : ?child_model:Gtk.tree_model ->
           ?virtual_root:Gtk.tree_path ->
           [ `treemodel | `treemodelfilter ] Gobject.param list -> Gtk.tree_model_filter

    val set_visible_func : [> `treemodelfilter ] Gtk.obj ->
           ([ `treemodel ] Gobject.obj -> Gtk.tree_iter -> bool) -> unit

    val set_visible_column : [> `treemodelfilter ] Gtk.obj -> int -> unit

    val convert_child_path_to_path : [> `treemodelfilter ] Gtk.obj -> Gtk.tree_path -> Gtk.tree_path

    val convert_child_iter_to_iter : [> `treemodelfilter ] Gtk.obj -> Gtk.tree_iter -> Gtk.tree_iter

    val convert_path_to_child_path : [> `treemodelfilter ] Gtk.obj -> Gtk.tree_path -> Gtk.tree_path

    val convert_iter_to_child_iter : [> `treemodelfilter ] Gtk.obj -> Gtk.tree_iter -> Gtk.tree_iter

    val refilter : [> `treemodelfilter ] Gtk.obj -> unit