I record here some late discoveries about OCaml which I think are lamentably missing from the manual.
<p>All type definitions seem to have file scope in contrast to C which scopes types like variables.
I found the syntax of type definitions confusing under my unconscious assumption of scoped types.