Some of the highlights of OCaml 5.5.0 are: Module-dependent functions Polymorphic functions as function arguments Relocatable compiler Generalized local definitions Search and replace substring fu...