> Hello list,
> 
> I have a question: is there a way to get a list of all
> (types|values|modules|...) that are currently available in the toplevel?

As far as I know, no.

> Is there a way to get a list of all the stuff in a module?

Yes. To know the contents of module M, just define a new module as an
alias of module M:

module X = M;;

[...]

Best regards,

Pierre Weis

INRIA, Projet Cristal, Pierre.Weis@inria.fr, http://cristal.inria.fr/~weis/