Fwiw, OCaml has pretty exceptional modularity – for some definition of modularity. Check out "functors".
Also, for backwards compatibility, this might be a reference to the pretty unusual legal obligations that OCaml has as one of the reference languages of the French Atomic Energy Agency.
I didn't know that, but that makes sense! I couldn't find any more info on this, even when searching for "Commissariat à l'Énergie Atomique OCaml". Do you have more details?
(I still think it's a bit rich to assume people will learn OCaml or write their own transpiler just to typeset stuff though.)
Also, for backwards compatibility, this might be a reference to the pretty unusual legal obligations that OCaml has as one of the reference languages of the French Atomic Energy Agency.