Sven LUTHER wrote:
>
> > The last solution might be nicer if we had a
> >     let open Module in
> > construct (would require 10 lines in the compiler)
> 
> Is this not already possible ? i read about something similar in the docs
> somewhere ...

I'm afraid not. But you can define local modules as a language extension:

7.6   Local modules

The expression let module module-name = module-expr in expr locally binds the
module expression module-expr to the identifier module-name during the evaluation
of the expression expr. It then returns the value of expr.

-- Nicolas