blob: 8f7c33bed46b3f3a09ba8481cb6c9251945a4f68 (
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
|
<!DOCTYPE html>
<html>
<head>
<link rel="stylesheet" href="style.css" type="text/css">
<meta content="text/html; charset=iso-8859-1" http-equiv="Content-Type">
<meta name="viewport" content="width=device-width, initial-scale=1">
<link rel="Start" href="index.html">
<link rel="Up" href="index.html">
<link title="Index of types" rel=Appendix href="index_types.html">
<link title="Index of extensions" rel=Appendix href="index_extensions.html">
<link title="Index of exceptions" rel=Appendix href="index_exceptions.html">
<link title="Index of values" rel=Appendix href="index_values.html">
<link title="Index of modules" rel=Appendix href="index_modules.html">
<link title="Alerts_impl" rel="Chapter" href="Alerts_impl.html"><title>Alerts_impl</title>
</head>
<body>
<div class="navbar"> <a class="up" href="index.html" title="Index">Up</a>
</div>
<h1>Module <a href="type_Alerts_impl.html">Alerts_impl</a></h1>
<pre><span id="MODULEAlerts_impl"><span class="keyword">module</span> Alerts_impl</span>: <code class="code"><span class="keyword">sig</span></code> <a href="Alerts_impl.html">..</a> <code class="code"><span class="keyword">end</span></code></pre><div class="info module top">
<div class="info-desc">
<p>Alerts from implementation.</p>
</div>
</div>
<hr width="100%">
<pre><span id="VALx"><span class="keyword">val</span> x</span> : <code class="type">int</code></pre><div class="info ">
<div class="info-deprecated">
<span class="warning">Deprecated. </span>foo</div>
</div>
<pre><code><span id="TYPEr"><span class="keyword">type</span> <code class="type"></code>r</span> = {</code></pre><table class="typetable">
<tr>
<td align="left" valign="top" >
<code> </code></td>
<td align="left" valign="top" >
<code><span id="TYPEELTr.x">x</span> : <code class="type">int</code>;</code></td>
<td class="typefieldcomment" align="left" valign="top" ><code>(*</code></td><td class="typefieldcomment" align="left" valign="top" ><div class="info ">
<div class="info-deprecated">
<span class="warning">Deprecated. </span>foo</div>
</div>
</td><td class="typefieldcomment" align="left" valign="bottom" ><code>*)</code></td>
</tr></table>
<code>}</code>
<pre><code><span id="TYPEv"><span class="keyword">type</span> <code class="type"></code>v</span> = </code></pre><table class="typetable">
<tr>
<td align="left" valign="top" >
<code><span class="keyword">|</span></code></td>
<td align="left" valign="top" >
<code><span id="TYPEELTv.C"><span class="constructor">C</span></span></code></td>
<td class="typefieldcomment" align="left" valign="top" ><code>(*</code></td><td class="typefieldcomment" align="left" valign="top" ><div class="info ">
<div class="info-deprecated">
<span class="warning">Deprecated. </span>foo</div>
</div>
</td><td class="typefieldcomment" align="left" valign="bottom" ><code>*)</code></td>
</tr></table>
<pre><span id="TYPEt"><span class="keyword">type</span> <code class="type"></code>t</span> </pre>
<div class="info ">
<div class="info-deprecated">
<span class="warning">Deprecated. </span>foo</div>
</div>
<pre><span id="EXCEPTIONE"><span class="keyword">exception</span> E</span></pre>
<pre><span id="VALf"><span class="keyword">val</span> f</span> : <code class="type">int -> int</code></pre><div class="info ">
<div class="info-deprecated">
<span class="warning">Deprecated. </span>foo</div>
</div>
<pre><span id="TYPEe"><span class="keyword">type</span> <code class="type"></code>e</span> = ..</pre>
<pre><code><span class="keyword">type</span> <code class="type"></code><a href="Alerts_impl.html#TYPEe">e</a> += </code></pre><table class="typetable">
<tr>
<td align="left" valign="top" >
<code><span class="keyword">|</span></code></td>
<td align="left" valign="top" >
<code><span id="EXTENSIONExt">Ext</span></code></td>
</tr></table>
<div class="info ">
<div class="info-deprecated">
<span class="warning">Deprecated. </span>foo</div>
</div>
<pre><code><span class="keyword">type</span> <code class="type"></code><a href="Alerts_impl.html#TYPEe">e</a> += </code></pre><table class="typetable">
<tr>
<td align="left" valign="top" >
<code><span class="keyword">|</span></code></td>
<td align="left" valign="top" >
<code><span id="EXTENSIONExt2">Ext2</span></code></td>
<td class="typefieldcomment" align="left" valign="top" ><code>(*</code></td><td class="typefieldcomment" align="left" valign="top" ><div class="info ">
<div class="info-deprecated">
<span class="warning">Deprecated. </span>foo</div>
</div>
</td><td class="typefieldcomment" align="left" valign="bottom" ><code>*)</code></td>
</tr></table>
</body></html>
|
