The OCaml system
release 4.10
Documentation and user’s manual
Xavier Leroy,
Damien Doligez, Alain Frisch, Jacques Garrigue, Didier Rémy and Jérôme Vouillon
February 21, 2020
Copyright © 2020 Institut National de
Recherche en Informatique et en Automatique