OCaml is a general-purpose, multi-paradigm programming language with a strong static type system and...