Hello all,

Just a single question: why is 'f' not generalizable in the following
example? I'm not able to find an example using any "let module" and
breaking the type safety.

=====
module M = struct end
let f = let module N = M in fun x -> x
=====

--
Julien