Some of the highlights of OCaml 5.4.0 are: Labelled tuples Immutable arrays Array literal syntax support for immutable arrays and floatarrays (through type-directed disambiguation) Atomic record f...