This is probably not technically correct, but I tend to think of ML modules as being almost unrelated to modules in other languages. ML modules are closer to be

This is probably not technically correct, but I tend to think of ML modules as being almost unrelated to modules in other languages. ML modules are closer to being compile-time records than the plain namespaces of almost every other language, with their own sub language for creating and transforming them. I'm not sure they're fully restricted to compile-time, either.