Hello,

I'm certain most users here will consider the question trivially simple, 
but I browsed the documentation without finding a solution.

The question is quite general: Given a polymorphic definition like 
Map.Make(X), where
X is some module, how can I specialize its 'a type parameter, e.g. by 
setting it to Y, so that
I have maps from X to Y ?

Yours,
Jacky Potop