Redundancy in OCaml type declaration (ml/mli)

Question

I\'m trying to understand a specific thing about ocaml modules and their compilation:

am I forced to redeclare types already declared in a .mli inside t

Answer 1

Yes, you are forced to redeclare types. The only ways around it that I know of are

• Don't use a .mli file; just expose everything with no interface. Terrible idea.

• Use a literate-programming tool or other preprocessor to avoid duplicating the interface declarations in the One True Source. For large projects, we do this in my group.

For small projects, we just duplicate type declarations. And grumble about it.