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-menace-2cib https:/

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-menace-2cib 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.