Hello again,

Given that I started bugging you, here is another problem
I have (not blocking, though, as the previous one).

The simplified syntax:
module MyModule (Param:ParamType) :
  sig
    ...
  end
=
  struct
    ...
  end
;;

does not work for module type declarations.
The declaration of a module type is only accepted
under the form
module type MyModuleType =
    functor (Param:ParamType) ->
    sig
       ...
    end
;;

Maybe the simplified form can be added soon. :)

Yours,
Dumitru