> module Tata = functor (T : Toto with type elt=int) -> struct end;;
> provoque a la compilation l'erreur "This module type is not a signature"
> sur la chaine "Toto". (Je n'ai pas trouve la description de cette erreur
> dans le refman, ni dans les FAQ)

C'est en effet un bug dans l'implémentation, qui sera corrigé dans la
prochaine release.  Merci à Nicolas Olliger pour l'analyse et la correction.

- Xavier Leroy