Version française
Home     About     Download     Resources     Contact us    
Browse thread
toplevel listing of modules?
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Pierre Weis <Pierre.Weis@i...>
Subject: Re: toplevel listing of modules?
> 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/