|
8 | 8 | <script>hljs.initHighlightingOnLoad();</script> |
9 | 9 | </head> |
10 | 10 | <body class="odoc"> |
11 | | - <header class="odoc-preamble"> |
12 | | - <h1>Module <code><span>Alerts</span></code></h1> |
13 | | - </header> |
14 | | - <div class="odoc-content"> |
15 | | - <div class="odoc-spec"> |
16 | | - <div class="spec value anchored" id="val-a"> |
17 | | - <a href="#val-a" class="anchor"></a> |
18 | | - <code><span><span class="keyword">val</span> a : int</span></code> |
| 11 | + <div class="odoc-main"> |
| 12 | + <header class="odoc-preamble"> |
| 13 | + <h1>Module <code><span>Alerts</span></code></h1> |
| 14 | + </header> |
| 15 | + <div class="odoc-content"> |
| 16 | + <div class="odoc-spec"> |
| 17 | + <div class="spec value anchored" id="val-a"> |
| 18 | + <a href="#val-a" class="anchor"></a> |
| 19 | + <code><span><span class="keyword">val</span> a : int</span></code> |
| 20 | + </div> |
| 21 | + <div class="spec-doc"> |
| 22 | + <ul class="at-tags"> |
| 23 | + <li class="deprecated"><span class="at-tag">deprecated</span> a</li> |
| 24 | + </ul> |
| 25 | + </div> |
19 | 26 | </div> |
20 | | - <div class="spec-doc"> |
21 | | - <ul class="at-tags"> |
22 | | - <li class="deprecated"><span class="at-tag">deprecated</span> a</li> |
23 | | - </ul> |
| 27 | + <div class="odoc-spec"> |
| 28 | + <div class="spec value anchored" id="val-b"> |
| 29 | + <a href="#val-b" class="anchor"></a> |
| 30 | + <code><span><span class="keyword">val</span> b : int</span></code> |
| 31 | + </div> |
| 32 | + <div class="spec-doc"> |
| 33 | + <ul class="at-tags"> |
| 34 | + <li class="deprecated"><span class="at-tag">deprecated</span> |
| 35 | + <p>b.</p> |
| 36 | + </li> |
| 37 | + </ul> |
| 38 | + </div> |
24 | 39 | </div> |
25 | | - </div> |
26 | | - <div class="odoc-spec"> |
27 | | - <div class="spec value anchored" id="val-b"> |
28 | | - <a href="#val-b" class="anchor"></a> |
29 | | - <code><span><span class="keyword">val</span> b : int</span></code> |
| 40 | + <div class="odoc-spec"> |
| 41 | + <div class="spec value anchored" id="val-c"> |
| 42 | + <a href="#val-c" class="anchor"></a> |
| 43 | + <code><span><span class="keyword">val</span> c : int</span></code> |
| 44 | + </div> |
| 45 | + <div class="spec-doc"> |
| 46 | + <ul class="at-tags"> |
| 47 | + <li class="deprecated"><span class="at-tag">deprecated</span> </li> |
| 48 | + </ul> |
| 49 | + </div> |
30 | 50 | </div> |
31 | | - <div class="spec-doc"> |
32 | | - <ul class="at-tags"> |
33 | | - <li class="deprecated"><span class="at-tag">deprecated</span> <p>b.</p> |
34 | | - </li> |
35 | | - </ul> |
| 51 | + <div class="odoc-spec"> |
| 52 | + <div class="spec module anchored" id="module-Top1"> |
| 53 | + <a href="#module-Top1" class="anchor"></a> |
| 54 | + <code> |
| 55 | + <span><span class="keyword">module</span> |
| 56 | + <a href="Alerts-Top1.html">Top1</a> |
| 57 | + </span> |
| 58 | + <span> : <span class="keyword">sig</span> ... |
| 59 | + <span class="keyword">end</span> |
| 60 | + </span> |
| 61 | + </code> |
| 62 | + </div><div class="spec-doc"><p>Top-comment.</p></div> |
36 | 63 | </div> |
37 | | - </div> |
38 | | - <div class="odoc-spec"> |
39 | | - <div class="spec value anchored" id="val-c"> |
40 | | - <a href="#val-c" class="anchor"></a> |
41 | | - <code><span><span class="keyword">val</span> c : int</span></code> |
| 64 | + <div class="odoc-spec"> |
| 65 | + <div class="spec module anchored" id="module-Top2"> |
| 66 | + <a href="#module-Top2" class="anchor"></a> |
| 67 | + <code> |
| 68 | + <span><span class="keyword">module</span> |
| 69 | + <a href="Alerts-Top2.html">Top2</a> |
| 70 | + </span> |
| 71 | + <span> : <span class="keyword">sig</span> ... |
| 72 | + <span class="keyword">end</span> |
| 73 | + </span> |
| 74 | + </code> |
| 75 | + </div><div class="spec-doc"><p>Top-comment.</p></div> |
42 | 76 | </div> |
43 | | - <div class="spec-doc"> |
44 | | - <ul class="at-tags"> |
45 | | - <li class="deprecated"><span class="at-tag">deprecated</span> </li> |
46 | | - </ul> |
| 77 | + <div class="odoc-spec"> |
| 78 | + <div class="spec value anchored" id="val-d"> |
| 79 | + <a href="#val-d" class="anchor"></a> |
| 80 | + <code><span><span class="keyword">val</span> d : int</span></code> |
| 81 | + </div> |
| 82 | + <div class="spec-doc"> |
| 83 | + <ul class="at-tags"> |
| 84 | + <li class="deprecated"><span class="at-tag">deprecated</span> |
| 85 | + A deprecated alert d |
| 86 | + </li> |
| 87 | + </ul> |
| 88 | + </div> |
47 | 89 | </div> |
48 | | - </div> |
49 | | - <div class="odoc-spec"> |
50 | | - <div class="spec module anchored" id="module-Top1"> |
51 | | - <a href="#module-Top1" class="anchor"></a> |
52 | | - <code> |
53 | | - <span><span class="keyword">module</span> |
54 | | - <a href="Alerts-Top1.html">Top1</a> |
55 | | - </span> |
56 | | - <span> : <span class="keyword">sig</span> ... |
57 | | - <span class="keyword">end</span> |
58 | | - </span> |
59 | | - </code> |
60 | | - </div><div class="spec-doc"><p>Top-comment.</p></div> |
61 | | - </div> |
62 | | - <div class="odoc-spec"> |
63 | | - <div class="spec module anchored" id="module-Top2"> |
64 | | - <a href="#module-Top2" class="anchor"></a> |
65 | | - <code> |
66 | | - <span><span class="keyword">module</span> |
67 | | - <a href="Alerts-Top2.html">Top2</a> |
68 | | - </span> |
69 | | - <span> : <span class="keyword">sig</span> ... |
70 | | - <span class="keyword">end</span> |
71 | | - </span> |
72 | | - </code> |
73 | | - </div><div class="spec-doc"><p>Top-comment.</p></div> |
74 | | - </div> |
75 | | - <div class="odoc-spec"> |
76 | | - <div class="spec value anchored" id="val-d"> |
77 | | - <a href="#val-d" class="anchor"></a> |
78 | | - <code><span><span class="keyword">val</span> d : int</span></code> |
79 | | - </div> |
80 | | - <div class="spec-doc"> |
81 | | - <ul class="at-tags"> |
82 | | - <li class="deprecated"><span class="at-tag">deprecated</span> |
83 | | - A deprecated alert d |
84 | | - </li> |
85 | | - </ul> |
| 90 | + <div class="odoc-spec"> |
| 91 | + <div class="spec value anchored" id="val-d2"> |
| 92 | + <a href="#val-d2" class="anchor"></a> |
| 93 | + <code><span><span class="keyword">val</span> d2 : int</span></code> |
| 94 | + </div> |
| 95 | + <div class="spec-doc"> |
| 96 | + <ul class="at-tags"> |
| 97 | + <li class="deprecated"><span class="at-tag">deprecated</span> </li> |
| 98 | + </ul> |
| 99 | + </div> |
86 | 100 | </div> |
87 | | - </div> |
88 | | - <div class="odoc-spec"> |
89 | | - <div class="spec value anchored" id="val-d2"> |
90 | | - <a href="#val-d2" class="anchor"></a> |
91 | | - <code><span><span class="keyword">val</span> d2 : int</span></code> |
92 | | - </div> |
93 | | - <div class="spec-doc"> |
94 | | - <ul class="at-tags"> |
95 | | - <li class="deprecated"><span class="at-tag">deprecated</span> </li> |
96 | | - </ul> |
97 | | - </div> |
98 | | - </div> |
99 | | - <div class="odoc-spec"> |
100 | | - <div class="spec value anchored" id="val-e"> |
101 | | - <a href="#val-e" class="anchor"></a> |
102 | | - <code><span><span class="keyword">val</span> e : int</span></code> |
103 | | - </div> |
104 | | - <div class="spec-doc"> |
105 | | - <ul class="at-tags"> |
106 | | - <li class="alert"><span class="at-tag">alert</span> e an alert</li> |
107 | | - </ul> |
108 | | - </div> |
109 | | - </div> |
110 | | - <div class="odoc-spec"> |
111 | | - <div class="spec value anchored" id="val-f"> |
112 | | - <a href="#val-f" class="anchor"></a> |
113 | | - <code><span><span class="keyword">val</span> f : int</span></code> |
| 101 | + <div class="odoc-spec"> |
| 102 | + <div class="spec value anchored" id="val-e"> |
| 103 | + <a href="#val-e" class="anchor"></a> |
| 104 | + <code><span><span class="keyword">val</span> e : int</span></code> |
| 105 | + </div> |
| 106 | + <div class="spec-doc"> |
| 107 | + <ul class="at-tags"> |
| 108 | + <li class="alert"><span class="at-tag">alert</span> e an alert</li> |
| 109 | + </ul> |
| 110 | + </div> |
114 | 111 | </div> |
115 | | - <div class="spec-doc"> |
116 | | - <ul class="at-tags"> |
117 | | - <li class="alert"><span class="at-tag">alert</span> f</li> |
118 | | - </ul> |
| 112 | + <div class="odoc-spec"> |
| 113 | + <div class="spec value anchored" id="val-f"> |
| 114 | + <a href="#val-f" class="anchor"></a> |
| 115 | + <code><span><span class="keyword">val</span> f : int</span></code> |
| 116 | + </div> |
| 117 | + <div class="spec-doc"> |
| 118 | + <ul class="at-tags"> |
| 119 | + <li class="alert"><span class="at-tag">alert</span> f</li> |
| 120 | + </ul> |
| 121 | + </div> |
119 | 122 | </div> |
120 | 123 | </div> |
121 | 124 | </div> |
|
0 commit comments