external down : tree_path -> unit = "ml_gtk_tree_path_down"