Hello,

To recover the result type of a functor for which I can not yet write an argument, I end up writing~:

module type MType = module type of MyFunctor (struct let env =  Obj.magic 0 end)

This works well and Obj.magic is never run ...

But I or OCaml may miss a feature ?

Cheers,
Christophe