* Lu Zhao: > I can write a functor with a single type parameter as follows: > > functor MyFctr(type t) = > struct > ... > end > > What is the correct syntax of writing multiple type parameters for a > functor?
functor MyFctor(type t; type u) = struct end This follows from the definition of spec (page 14 of the Definition). _______________________________________________ polyml mailing list [email protected] http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
