blob: a4b01455d29115a5f22fc033bb67488b34ce1246 (
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
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
|
\documentclass[11pt]{article}
\usepackage[latin1]{inputenc}
\usepackage[T1]{fontenc}
\usepackage{textcomp}
\usepackage{fullpage}
\usepackage{url}
\usepackage{ocamldoc}
\begin{document}
\tableofcontents
\section{Module {\tt{Extensible\_variant}} : Testing display of extensible variant types and exceptions.}
\label{Extensible-underscorevariant}\index{Extensible-underscorevariant@\verb`Extensible_variant`}
\ocamldocvspace{0.5cm}
Also check reference for {\tt{Extensible\_variant.M.A}}[\ref{extension:Extensible-underscorevariant.M.A}], {\tt{Extensible\_variant.M.B}}[\ref{extension:Extensible-underscorevariant.M.B}], {\tt{Extensible\_variant.M.C}}[\ref{extension:Extensible-underscorevariant.M.C}] and {\tt{Extensible\_variant.E}}[\ref{exception:Extensible-underscorevariant.E}]
\label{TYPExtensible-underscorevariant.e}\begin{ocamldoccode}
type e = ..
\end{ocamldoccode}
\index{e@\verb`e`}
\begin{ocamldocdescription}
Extensible type
\end{ocamldocdescription}
\begin{ocamldoccode}
{\tt{module }}{\tt{M}}{\tt{ : }}\end{ocamldoccode}
\label{Extensible-underscorevariant.M}\index{M@\verb`M`}
\begin{ocamldocsigend}
\begin{ocamldoccode}
type e +=
\end{ocamldoccode}
\label{extension:Extensible-underscorevariant.M.A}\begin{ocamldoccode}
| A
\end{ocamldoccode}
\begin{ocamldoccomment}
A doc
\end{ocamldoccomment}
\label{extension:Extensible-underscorevariant.M.B}\begin{ocamldoccode}
| B
\end{ocamldoccode}
\begin{ocamldoccomment}
B doc
\end{ocamldoccomment}
\label{extension:Extensible-underscorevariant.M.C}\begin{ocamldoccode}
| C
\end{ocamldoccode}
\begin{ocamldoccomment}
C doc
\end{ocamldoccomment}
\end{ocamldocsigend}
\begin{ocamldoccode}
{\tt{module type }}{\tt{MT}}{\tt{ = }}\end{ocamldoccode}
\label{Extensible-underscorevariant.MT}\index{MT@\verb`MT`}
\begin{ocamldocsigend}
\begin{ocamldoccode}
type e +=
\end{ocamldoccode}
\label{extension:Extensible-underscorevariant.MT.A}\begin{ocamldoccode}
| A
\end{ocamldoccode}
\begin{ocamldoccomment}
A doc
\end{ocamldoccomment}
\label{extension:Extensible-underscorevariant.MT.B}\begin{ocamldoccode}
| B
\end{ocamldoccode}
\begin{ocamldoccomment}
B doc
\end{ocamldoccomment}
\label{extension:Extensible-underscorevariant.MT.C}\begin{ocamldoccode}
| C
\end{ocamldoccode}
\begin{ocamldoccomment}
C doc
\end{ocamldoccomment}
\end{ocamldocsigend}
\label{exception:Extensible-underscorevariant.E}\begin{ocamldoccode}
exception E
\end{ocamldoccode}
\index{E@\verb`E`}
\end{document}
|
