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
<<attachment: dumitru_potop_butucaru.vcf>>
_______________________________________________ Caml-list mailing list. Subscription management: http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list Archives: http://caml.inria.fr Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs