On 20-09-2010, Dumitru Potop-Butucaru <dumitru.potop_butuc...@inria.fr> wrote: > > I'm certain most users here will consider the question trivially simple, > but I browsed the documentation without finding a solution. >
There is an ocaml-beginner list, if you feel the question is trivial: http://tech.groups.yahoo.com/group/ocaml_beginners/ > 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 ? > module M = Map.Make(X) type y_map = y M.t (* N.B. Y is syntactically incorrect for a type identifier, you need to use y *) Regards Sylvain Le Gall _______________________________________________ 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