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