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