9 Oct
2010
9 Oct
'10
7:53 p.m.
* 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).