Thanks, that's all very useful feedback. There have been several significant improvements to the module system in 4.02 (including generative functors and modul

Thanks, that's all very useful feedback. There have been several significant improvements to the module system in 4.02 (including generative functors and module aliases [1] in signatures), so I agree that there's quite a bit more to write about. We have a very short section on common patterns that could perhaps be expanded into a chapter. [1] https://blogs.janestreet.com/better-namespaces-through-module-aliases/ https://blogs.janestreet.com/better-namespaces-through-modul...