The Coq mailing list

[Adam Chlipala <adam AT chlipala.net>]

David Pereira wrote:
> I am not sure if this list is the better place to ask questions about tactic 
> implementation in Ocaml, but I would like to learn how one can have access to 
> the fields of Coq's parameterized modules, and to module types.
>    

I'm not aware of any manual for this sort of thing.  The path forward is 
to crawl through the Coq source code.  In particular, I expect you'll 
find the functions you're looking for by starting with a reading of 
source file kernel/environ.mli.