The Coq mailing list

[Adam Chlipala <adam AT chlipala.net>]

Marco Servetto wrote:
> Yep, I have readed.
>    
> > Have you read Section 2.5 of the Coq manual, called "Module system"?  If
> > that is not a sufficient introduction,
> >      
> No, I dont
>    
> > have you read Chapter 2 of the OCaml
> > manual, "The module system"?
> >     http://caml.inria.fr/pub/docs/manual-ocaml/manual004.html
> > OCaml's module system is the inspiration for Coq's.  Coq documentation is
> > prone to avoid giving details on features that are inherited.
> >
> >      
> Wait... you are saing that in order to learn coq i must learn OCaml before??
>    

I don't know, but this is the best path I know of to get up to speed 
with using the Coq map and set libraries, much better than getting the 
direct answers to your questions.

That part of the OCaml manual is quite short.