Not only are there type annotations, but they get their own file—best of both worlds! https://dev.to/yawaramin/ocaml-interface-files-hero-or-menac...

And especially nowadays with the state-of-the-art OCaml plugin for VSCode with type-on-hover and codelens, even reading interface files is super simple.