I am missing one feature in emacs Tuareg mode: an outline of the current OCaml buffer with a list of top-level definitions. There is a similar feature in Proof General mode for Coq which I find very useful. If there is an additional package or some undocumented feature like this?

Below is a screenshot how this looks in Proof General: