* 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).