>>9
I haven't looked at OCaml in years, what I was recalling was this chapter from the manual: https://ocaml.org/manual/polymorphism.html Declaring a module requires typing each function interface (once again iirc), and in general OCaml programmers type every function rather than having the types inferred.