OCaml is an industrial-strength functional programming language with an emphasis on expressiveness...