this repo has no description
1\section{Module \ocamlinlinecode{Module}}\label{Module}%
2Foo.
3
4\label{Module--val-foo}\ocamlcodefragment{\ocamltag{keyword}{val} foo : unit}\begin{ocamlindent}The module needs at least one signature item, otherwise a bug causes the compiler to drop the module comment (above). See \href{https://caml.inria.fr/mantis/view.php?id=7701}{https://caml.inria.fr/mantis/view.php?id=7701}\footnote{\url{https://caml.inria.fr/mantis/view.php?id=7701}}.\end{ocamlindent}%
5\medbreak
6\label{Module--module-type-S}\ocamlcodefragment{\ocamltag{keyword}{module} \ocamltag{keyword}{type} \hyperref[Module-module-type-S]{\ocamlinlinecode{S}}}\label{Module-module-type-S}\ocamlcodefragment{ = \ocamltag{keyword}{sig}}\begin{ocamlindent}\label{Module-module-type-S--type-t}\ocamlcodefragment{\ocamltag{keyword}{type} t}\\
7\label{Module-module-type-S--type-u}\ocamlcodefragment{\ocamltag{keyword}{type} u}\\
8\label{Module-module-type-S--type-v}\ocamlcodefragment{\ocamltag{keyword}{type} 'a v}\\
9\label{Module-module-type-S--type-w}\ocamlcodefragment{\ocamltag{keyword}{type} ('a,\allowbreak{} 'b) w}\\
10\label{Module-module-type-S--module-M}\ocamlcodefragment{\ocamltag{keyword}{module} \hyperref[Module-module-type-S-M]{\ocamlinlinecode{M}}}\label{Module-module-type-S-M}\ocamlcodefragment{ : \ocamltag{keyword}{sig}}\begin{ocamlindent}\end{ocamlindent}%
11\ocamlcodefragment{\ocamltag{keyword}{end}}\\
12\end{ocamlindent}%
13\ocamlcodefragment{\ocamltag{keyword}{end}}\\
14\label{Module--module-type-S1}\ocamlcodefragment{\ocamltag{keyword}{module} \ocamltag{keyword}{type} S1}\\
15\label{Module--module-type-S2}\ocamlcodefragment{\ocamltag{keyword}{module} \ocamltag{keyword}{type} S2 = \hyperref[Module-module-type-S]{\ocamlinlinecode{Module.\allowbreak{}S}}}\\
16\label{Module--module-type-S3}\ocamlcodefragment{\ocamltag{keyword}{module} \ocamltag{keyword}{type} \hyperref[Module-module-type-S3]{\ocamlinlinecode{S3}}}\label{Module-module-type-S3}\ocamlcodefragment{ = \ocamltag{keyword}{sig}}\begin{ocamlindent}\label{Module-module-type-S3--type-t}\ocamlcodefragment{\ocamltag{keyword}{type} t = int}\\
17\label{Module-module-type-S3--type-u}\ocamlcodefragment{\ocamltag{keyword}{type} u = string}\\
18\label{Module-module-type-S3--type-v}\ocamlcodefragment{\ocamltag{keyword}{type} 'a v}\\
19\label{Module-module-type-S3--type-w}\ocamlcodefragment{\ocamltag{keyword}{type} ('a,\allowbreak{} 'b) w}\\
20\label{Module-module-type-S3--module-M}\ocamlcodefragment{\ocamltag{keyword}{module} \hyperref[Module-module-type-S3-M]{\ocamlinlinecode{M}}}\label{Module-module-type-S3-M}\ocamlcodefragment{ : \ocamltag{keyword}{sig}}\begin{ocamlindent}\end{ocamlindent}%
21\ocamlcodefragment{\ocamltag{keyword}{end}}\\
22\end{ocamlindent}%
23\ocamlcodefragment{\ocamltag{keyword}{end}}\\
24\label{Module--module-type-S4}\ocamlcodefragment{\ocamltag{keyword}{module} \ocamltag{keyword}{type} \hyperref[Module-module-type-S4]{\ocamlinlinecode{S4}}}\label{Module-module-type-S4}\ocamlcodefragment{ = \ocamltag{keyword}{sig}}\begin{ocamlindent}\label{Module-module-type-S4--type-u}\ocamlcodefragment{\ocamltag{keyword}{type} u}\\
25\label{Module-module-type-S4--type-v}\ocamlcodefragment{\ocamltag{keyword}{type} 'a v}\\
26\label{Module-module-type-S4--type-w}\ocamlcodefragment{\ocamltag{keyword}{type} ('a,\allowbreak{} 'b) w}\\
27\label{Module-module-type-S4--module-M}\ocamlcodefragment{\ocamltag{keyword}{module} \hyperref[Module-module-type-S4-M]{\ocamlinlinecode{M}}}\label{Module-module-type-S4-M}\ocamlcodefragment{ : \ocamltag{keyword}{sig}}\begin{ocamlindent}\end{ocamlindent}%
28\ocamlcodefragment{\ocamltag{keyword}{end}}\\
29\end{ocamlindent}%
30\ocamlcodefragment{\ocamltag{keyword}{end}}\\
31\label{Module--module-type-S5}\ocamlcodefragment{\ocamltag{keyword}{module} \ocamltag{keyword}{type} \hyperref[Module-module-type-S5]{\ocamlinlinecode{S5}}}\label{Module-module-type-S5}\ocamlcodefragment{ = \ocamltag{keyword}{sig}}\begin{ocamlindent}\label{Module-module-type-S5--type-t}\ocamlcodefragment{\ocamltag{keyword}{type} t}\\
32\label{Module-module-type-S5--type-u}\ocamlcodefragment{\ocamltag{keyword}{type} u}\\
33\label{Module-module-type-S5--type-w}\ocamlcodefragment{\ocamltag{keyword}{type} ('a,\allowbreak{} 'b) w}\\
34\label{Module-module-type-S5--module-M}\ocamlcodefragment{\ocamltag{keyword}{module} \hyperref[Module-module-type-S5-M]{\ocamlinlinecode{M}}}\label{Module-module-type-S5-M}\ocamlcodefragment{ : \ocamltag{keyword}{sig}}\begin{ocamlindent}\end{ocamlindent}%
35\ocamlcodefragment{\ocamltag{keyword}{end}}\\
36\end{ocamlindent}%
37\ocamlcodefragment{\ocamltag{keyword}{end}}\\
38\label{Module--type-result}\ocamlcodefragment{\ocamltag{keyword}{type} ('a,\allowbreak{} 'b) result}\\
39\label{Module--module-type-S6}\ocamlcodefragment{\ocamltag{keyword}{module} \ocamltag{keyword}{type} \hyperref[Module-module-type-S6]{\ocamlinlinecode{S6}}}\label{Module-module-type-S6}\ocamlcodefragment{ = \ocamltag{keyword}{sig}}\begin{ocamlindent}\label{Module-module-type-S6--type-t}\ocamlcodefragment{\ocamltag{keyword}{type} t}\\
40\label{Module-module-type-S6--type-u}\ocamlcodefragment{\ocamltag{keyword}{type} u}\\
41\label{Module-module-type-S6--type-v}\ocamlcodefragment{\ocamltag{keyword}{type} 'a v}\\
42\label{Module-module-type-S6--module-M}\ocamlcodefragment{\ocamltag{keyword}{module} \hyperref[Module-module-type-S6-M]{\ocamlinlinecode{M}}}\label{Module-module-type-S6-M}\ocamlcodefragment{ : \ocamltag{keyword}{sig}}\begin{ocamlindent}\end{ocamlindent}%
43\ocamlcodefragment{\ocamltag{keyword}{end}}\\
44\end{ocamlindent}%
45\ocamlcodefragment{\ocamltag{keyword}{end}}\\
46\label{Module--module-M'}\ocamlcodefragment{\ocamltag{keyword}{module} \hyperref[Module-M']{\ocamlinlinecode{M'}}}\label{Module-M'}\ocamlcodefragment{ : \ocamltag{keyword}{sig}}\begin{ocamlindent}\end{ocamlindent}%
47\ocamlcodefragment{\ocamltag{keyword}{end}}\\
48\label{Module--module-type-S7}\ocamlcodefragment{\ocamltag{keyword}{module} \ocamltag{keyword}{type} \hyperref[Module-module-type-S7]{\ocamlinlinecode{S7}}}\label{Module-module-type-S7}\ocamlcodefragment{ = \ocamltag{keyword}{sig}}\begin{ocamlindent}\label{Module-module-type-S7--type-t}\ocamlcodefragment{\ocamltag{keyword}{type} t}\\
49\label{Module-module-type-S7--type-u}\ocamlcodefragment{\ocamltag{keyword}{type} u}\\
50\label{Module-module-type-S7--type-v}\ocamlcodefragment{\ocamltag{keyword}{type} 'a v}\\
51\label{Module-module-type-S7--type-w}\ocamlcodefragment{\ocamltag{keyword}{type} ('a,\allowbreak{} 'b) w}\\
52\label{Module-module-type-S7--module-M}\ocamlcodefragment{\ocamltag{keyword}{module} M = \hyperref[Module-M']{\ocamlinlinecode{Module.\allowbreak{}M'}}}\\
53\end{ocamlindent}%
54\ocamlcodefragment{\ocamltag{keyword}{end}}\\
55\label{Module--module-type-S8}\ocamlcodefragment{\ocamltag{keyword}{module} \ocamltag{keyword}{type} \hyperref[Module-module-type-S8]{\ocamlinlinecode{S8}}}\label{Module-module-type-S8}\ocamlcodefragment{ = \ocamltag{keyword}{sig}}\begin{ocamlindent}\label{Module-module-type-S8--type-t}\ocamlcodefragment{\ocamltag{keyword}{type} t}\\
56\label{Module-module-type-S8--type-u}\ocamlcodefragment{\ocamltag{keyword}{type} u}\\
57\label{Module-module-type-S8--type-v}\ocamlcodefragment{\ocamltag{keyword}{type} 'a v}\\
58\label{Module-module-type-S8--type-w}\ocamlcodefragment{\ocamltag{keyword}{type} ('a,\allowbreak{} 'b) w}\\
59\end{ocamlindent}%
60\ocamlcodefragment{\ocamltag{keyword}{end}}\\
61\label{Module--module-type-S9}\ocamlcodefragment{\ocamltag{keyword}{module} \ocamltag{keyword}{type} \hyperref[Module-module-type-S9]{\ocamlinlinecode{S9}}}\label{Module-module-type-S9}\ocamlcodefragment{ = \ocamltag{keyword}{sig}}\begin{ocamlindent}\end{ocamlindent}%
62\ocamlcodefragment{\ocamltag{keyword}{end}}\\
63\label{Module--module-Mutually}\ocamlcodefragment{\ocamltag{keyword}{module} \hyperref[Module-Mutually]{\ocamlinlinecode{Mutually}}}\label{Module-Mutually}\ocamlcodefragment{ : \ocamltag{keyword}{sig}}\begin{ocamlindent}\end{ocamlindent}%
64\ocamlcodefragment{\ocamltag{keyword}{end}}\\
65\label{Module--module-Recursive}\ocamlcodefragment{\ocamltag{keyword}{module} \hyperref[Module-Recursive]{\ocamlinlinecode{Recursive}}}\label{Module-Recursive}\ocamlcodefragment{ : \ocamltag{keyword}{sig}}\begin{ocamlindent}\end{ocamlindent}%
66\ocamlcodefragment{\ocamltag{keyword}{end}}\\
67
68