I'm a bit rusty writing raw OCaml from scratch, and I ran into syntax errors
this morning whenever I tried to use Module abbreviations, such as

module T = Types

in my MLI files. These work just fine in ML files.

What is the reason for preventing type abbreviations in the interface spec?

Cheers,

- David McClain