blob: 3e07555b858406a9b1b16a6d32e665beccf46e0e (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
|
\makeindex{\jobname}
\makeindex{\jobname.kwd}
\setlength{\emergencystretch}{50pt} % pour que TeX resolve les overfull hbox lui-meme
\begin{document}
\thispagestyle{empty}
\begin{maintitle}
~\vfill
\Huge The OCaml system \\
release \ocamlversion \\[1cm]
\Large Documentation and user's manual \\[1cm]
\large Xavier Leroy, \\
Damien Doligez, Alain Frisch, Jacques Garrigue, \\
Didier Rémy, KC Sivaramakrishnan and Jérôme Vouillon \\[1cm]
\today \\
~
\vfill
\normalsize Copyright \copyright\ \number\year\ Institut National de
Recherche en Informatique et en Automatique
\end{maintitle}
\cleardoublepage
\setcounter{page}{1}
\begin{htmlonly}
\begin{maintitle}
\vspace*{2ex}
This manual is also available in
\ahref{https://ocaml.org/releases/\ocamlversion/ocaml-\ocamlversion-refman.pdf}{PDF},
\ahref{https://ocaml.org/releases/\ocamlversion/ocaml-\ocamlversion-refman.txt}{plain text},
as a
\ahref{https://ocaml.org/releases/\ocamlversion/ocaml-\ocamlversion-refman-html.tar.gz}{bundle of HTML files},
and as a
\ahref{https://ocaml.org/releases/\ocamlversion/ocaml-\ocamlversion-refman.info.tar.gz}{bundle of Emacs Info files}.
\end{maintitle}
\end{htmlonly}
\tableofcontents
\input{foreword.tex}
\part{An introduction to OCaml}
\label{p:tutorials}
\input{coreexamples.tex}
\input{moduleexamples.tex}
\input{objectexamples.tex}
\input{lablexamples.tex}
\input{polyvariant.tex}
\input{polymorphism.tex}
\input{gadtexamples.tex}
\input{advexamples.tex}
\input{parallelism.tex}
\input{memorymodel.tex}
\part{The OCaml language}
\label{p:refman}
\input{refman.tex}
\input{exten.tex}
\part{The OCaml tools}
\label{p:commands}
\input{comp.tex}
\input{top.tex}
\input{runtime.tex}
\input{native.tex}
\input{lexyacc.tex}
\input{ocamldep.tex}
\input{ocamldoc.tex}
\input{debugger.tex}
\input{profil.tex}
\input{intf-c.tex}
\input{flambda.tex}
\input{afl-fuzz.tex}
\input{runtime-tracing.tex}
\input{tail-mod-cons.tex}
\part{The OCaml library}
\label{p:library}
\input{core.tex}
\input{stdlib-blurb.tex}
\input{compilerlibs.tex}
\input{libunix.tex}
\input{libstr.tex}
\input{libruntime_events.tex}
\input{libthreads.tex}
\input{libdynlink.tex}
\input{old.tex}
\part{Indexes}
\label{p:indexes}
\ifouthtml
\begin{links}
\item \ahref{libref/index_modules.html}{Index of modules}
\item \ahref{libref/index_module_types.html}{Index of module types}
\item \ahref{libref/index_types.html}{Index of types}
\item \ahref{libref/index_exceptions.html}{Index of exceptions}
\item \ahref{libref/index_values.html}{Index of values}
\end{links}
\else
\printindex{\jobname}{Index to the library}
\fi
\printindex{\jobname.kwd}{Index of keywords}
\end{document}
|
