• en
     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
    This manual is also available in PDF. plain text, as a bundle of HTML files, and as a bundle of Emacs Info files.

    Foreword

    This manual documents the release 4.10 of the OCaml system. It is organized as follows.

    • Part I, “An introduction to OCaml”, gives an overview of the language.
    • Part II, “The OCaml language”, is the reference description of the language.
    • Part III, “The OCaml tools”, documents the compilers, toplevel system, and programming utilities.
    • Part IV, “The OCaml library”, describes the modules provided in the standard library.

    Conventions

    OCaml runs on several operating systems. The parts of this manual that are specific to one operating system are presented as shown below:

    Unix:   This is material specific to the Unix family of operating systems, including Linux and MacOS X.
    Windows:   This is material specific to Microsoft Windows (XP, Vista, 7, 8, 10).

    License

    The OCaml system is copyright © 1996–2020 Institut National de Recherche en Informatique et en Automatique (INRIA). INRIA holds all ownership rights to the OCaml system.

    The OCaml system is open source and can be freely redistributed. See the file LICENSE in the distribution for licensing information.

    The OCaml documentation and user’s manual is copyright © 2020 Institut National de Recherche en Informatique et en Automatique (INRIA).

    The OCaml documentation and user's manual is licensed under a Creative Commons Attribution-ShareAlike 4.0 International License.

    Availability

    The complete OCaml distribution can be accessed via the community Caml Web site and the older Caml Web site. The community Caml Web site contains a lot of additional information on OCaml.

    The present documentation is copyright Institut National de Recherche en Informatique et en Automatique (INRIA). A complete version can be obtained from this page.