]> > 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;; module Make(Key: Map.OrderedType)(Pri: Map.OrderedType) = struct type key = Key.t type pri = Pri.t (* ... *) end Julien Signoles -- mailto:Julien.Signoles@lri.fr ; http://www.lri.fr/~signoles "In theory, practice and theory are the same, but in practice they are different" (Larry McVoy) ------------------- 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