[polyml] multiple type parameters in a functor

[Lu Zhao]

Hi,

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? Or this is can't be done in SML, and I have to use structure 
parameters?

Thanks.
Lu
_______________________________________________
polyml mailing list
polyml@inf.ed.ac.uk
http://lists.inf.ed.ac.uk/mailman/listinfo/polyml