]> Is it possible to do multi-parameter functors? What I want to be able to so is something like: module Make(Key: Map.OrderedType, Pri: Map.OrderedType) = struct type key = Key.t;; type pri = Pri.t;; ... end;; Am I being stupid and just missing something obvious, or is there some subtle reason why I shouldn't be doing this? -- "Usenet is like a herd of performing elephants with diarrhea -- massive, difficult to redirect, awe-inspiring, entertaining, and a source of mind-boggling amounts of excrement when you least expect it." - Gene Spafford Brian ------------------- To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ Beginner's list: http://groups.yahoo.com/group/ocaml_beginners