external set_select_function : tree_selection -> (tree_path -> bool -> bool) -> unit = "ml_gtk_tree_selection_set_select_function"