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: Daniel de Rauglaudre <daniel.de_rauglaudre@i...>
Subject: Re: toplevel listing of modules?
Hello,

On Fri, Oct 20, 2000 at 09:07:11AM +0200, Stephan Houben wrote:

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

For the contents of a module, there is a trick. To have the contents
of, e.g. the module List, type:

    # module M = List;;

-- 
Daniel de RAUGLAUDRE
daniel.de_rauglaudre@inria.fr
http://cristal.inria.fr/~ddr/