jon.recoil.org
this repo has no description
1<!DOCTYPE html>
2<html xmlns="http://www.w3.org/1999/xhtml">
3 <head><title>Alerts (Alerts)</title><meta charset="utf-8"/>
4 <link rel="stylesheet" href="odoc.css"/>
5 <meta name="generator" content="odoc %%VERSION%%"/>
6 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
7 <script src="highlight.pack.js"></script>
8 <script>hljs.initHighlightingOnLoad();</script>
9 </head>
10 <body class="odoc">
11 <nav class="odoc-nav"><a href="index.html">Up</a> –
12 <a href="index.html">Index</a> » Alerts
13 </nav>
14 <header class="odoc-preamble">
15 <h1>Module <code><span>Alerts</span></code></h1>
16 </header>
17 <div class="odoc-content">
18 <div class="odoc-spec">
19 <div class="spec value anchored" id="val-a">
20 <a href="#val-a" class="anchor"></a>
21 <code><span><span class="keyword">val</span> a : int</span></code>
22 </div>
23 <div class="spec-doc">
24 <ul class="at-tags">
25 <li class="deprecated"><span class="at-tag">deprecated</span> a</li>
26 </ul>
27 </div>
28 </div>
29 <div class="odoc-spec">
30 <div class="spec value anchored" id="val-b">
31 <a href="#val-b" class="anchor"></a>
32 <code><span><span class="keyword">val</span> b : int</span></code>
33 </div>
34 <div class="spec-doc">
35 <ul class="at-tags">
36 <li class="deprecated"><span class="at-tag">deprecated</span> <p>b.</p>
37 </li>
38 </ul>
39 </div>
40 </div>
41 <div class="odoc-spec">
42 <div class="spec value anchored" id="val-c">
43 <a href="#val-c" class="anchor"></a>
44 <code><span><span class="keyword">val</span> c : int</span></code>
45 </div>
46 <div class="spec-doc">
47 <ul class="at-tags">
48 <li class="deprecated"><span class="at-tag">deprecated</span> </li>
49 </ul>
50 </div>
51 </div>
52 <div class="odoc-spec">
53 <div class="spec module anchored" id="module-Top1">
54 <a href="#module-Top1" class="anchor"></a>
55 <code>
56 <span><span class="keyword">module</span>
57 <a href="Alerts-Top1.html">Top1</a>
58 </span>
59 <span> : <span class="keyword">sig</span> ...
60 <span class="keyword">end</span>
61 </span>
62 </code>
63 </div>
64 </div>
65 <div class="odoc-spec">
66 <div class="spec value anchored" id="val-d">
67 <a href="#val-d" class="anchor"></a>
68 <code><span><span class="keyword">val</span> d : int</span></code>
69 </div>
70 <div class="spec-doc">
71 <ul class="at-tags">
72 <li class="deprecated"><span class="at-tag">deprecated</span>
73 A deprecated alert d
74 </li>
75 </ul>
76 </div>
77 </div>
78 <div class="odoc-spec">
79 <div class="spec value anchored" id="val-d2">
80 <a href="#val-d2" class="anchor"></a>
81 <code><span><span class="keyword">val</span> d2 : int</span></code>
82 </div>
83 <div class="spec-doc">
84 <ul class="at-tags">
85 <li class="deprecated"><span class="at-tag">deprecated</span> </li>
86 </ul>
87 </div>
88 </div>
89 <div class="odoc-spec">
90 <div class="spec value anchored" id="val-e">
91 <a href="#val-e" class="anchor"></a>
92 <code><span><span class="keyword">val</span> e : int</span></code>
93 </div>
94 <div class="spec-doc">
95 <ul class="at-tags">
96 <li class="alert"><span class="at-tag">alert</span> e an alert</li>
97 </ul>
98 </div>
99 </div>
100 <div class="odoc-spec">
101 <div class="spec value anchored" id="val-f">
102 <a href="#val-f" class="anchor"></a>
103 <code><span><span class="keyword">val</span> f : int</span></code>
104 </div>
105 <div class="spec-doc">
106 <ul class="at-tags">
107 <li class="alert"><span class="at-tag">alert</span> f</li>
108 </ul>
109 </div>
110 </div>
111 </div>
112 </body>
113</html>