I have a question about modules:

Would it be possible to partially hide constructor:

It would be nice to be able to match a constructor but not to construct it or
vice versa (use full for exceptions for instance)

----
Christophe Raffalli
Dept. of Computer Sciences
Chalmers University of Technology

URL: http://www.logique.jussieu.fr/www.raffalli