The Coq mailing list

["M. Scott Doerrie" <mdoerri AT cs.jhu.edu>]

Each module has a signature.  Is it possible to bind this signature to a 
Module Type post-hoc?  I really need to work with the 
FSet/FMap/MSet/OrderedType signatures to get anything to work without 
laboriously going over these modules and defining signatures coq has 
already created.

Michael Doerrie