The OCaml system
release 5.1
Documentation and user’s manual
Xavier Leroy,
Damien Doligez, Alain Frisch, Jacques Garrigue,
Didier Rémy, KC Sivaramakrishnan and Jérôme Vouillon
14thSeptember, 2023
Copyright © 2023 Institut National de
Recherche en Informatique et en Automatique