xhtml.cd 19.5 KB
Newer Older
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
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
(* This type has been automatically generated from tests/xhtml.xml by dtd2cduce *)
type X_td =
       <td>[
          ( Char | X_p | X_h1 | X_h2 | X_h3 | X_h4 | X_h5 | X_h6 | X_div | X_ul | X_ol | X_dl | X_pre | X_hr | X_blockquote | X_address | X_fieldset | X_table | X_form | X_a | X_br | X_span | X_bdo | X_map | X_object | X_img | X_tt | X_i | X_b | X_big | X_small | X_em | X_strong | X_dfn | X_code | X_q | X_samp | X_kbd | X_var | X_cite | X_abbr | X_acronym | X_sub | X_sup | X_input | X_select | X_textarea | X_label | X_button | X_noscript | X_ins | X_del | X_script )*
          ];;
type X_th =
       <th>[
          ( Char | X_p | X_h1 | X_h2 | X_h3 | X_h4 | X_h5 | X_h6 | X_div | X_ul | X_ol | X_dl | X_pre | X_hr | X_blockquote | X_address | X_fieldset | X_table | X_form | X_a | X_br | X_span | X_bdo | X_map | X_object | X_img | X_tt | X_i | X_b | X_big | X_small | X_em | X_strong | X_dfn | X_code | X_q | X_samp | X_kbd | X_var | X_cite | X_abbr | X_acronym | X_sub | X_sup | X_input | X_select | X_textarea | X_label | X_button | X_noscript | X_ins | X_del | X_script )*
          ];;
type X_tr = <tr>[ (X_th | X_td)+ ];;
type X_col = <col>[  ];;
type X_colgroup = <colgroup>[ X_col* ];;
type X_tbody = <tbody>[ X_tr+ ];;
type X_tfoot = <tfoot>[ X_tr+ ];;
type X_thead = <thead>[ X_tr+ ];;
type X_caption =
       <caption>[
          ( Char | X_a | X_br | X_span | X_bdo | X_map | X_object | X_img | X_tt | X_i | X_b | X_big | X_small | X_em | X_strong | X_dfn | X_code | X_q | X_samp | X_kbd | X_var | X_cite | X_abbr | X_acronym | X_sub | X_sup | X_input | X_select | X_textarea | X_label | X_button | X_ins | X_del | X_script )*
          ];;
type X_table =
       <table>[
          (X_caption? (X_col* | X_colgroup*) X_thead? X_tfoot?
           (X_tbody+ | X_tr+))
          ];;
type X_button =
       <button>[
          ( Char | X_p | X_h1 | X_h2 | X_h3 | X_h4 | X_h5 | X_h6 | X_div | X_ul | X_ol | X_dl | X_pre | X_hr | X_blockquote | X_address | X_table | X_br | X_span | X_bdo | X_map | X_object | X_img | X_tt | X_i | X_b | X_big | X_small | X_em | X_strong | X_dfn | X_code | X_q | X_samp | X_kbd | X_var | X_cite | X_abbr | X_acronym | X_sub | X_sup | X_noscript | X_ins | X_del | X_script )*
          ];;
type X_legend =
       <legend>[
          ( Char | X_a | X_br | X_span | X_bdo | X_map | X_object | X_img | X_tt | X_i | X_b | X_big | X_small | X_em | X_strong | X_dfn | X_code | X_q | X_samp | X_kbd | X_var | X_cite | X_abbr | X_acronym | X_sub | X_sup | X_input | X_select | X_textarea | X_label | X_button | X_ins | X_del | X_script )*
          ];;
type X_fieldset =
       <fieldset>[
          ( Char | X_legend | X_p | X_h1 | X_h2 | X_h3 | X_h4 | X_h5 | X_h6 | X_div | X_ul | X_ol | X_dl | X_pre | X_hr | X_blockquote | X_address | X_fieldset | X_table | X_form | X_a | X_br | X_span | X_bdo | X_map | X_object | X_img | X_tt | X_i | X_b | X_big | X_small | X_em | X_strong | X_dfn | X_code | X_q | X_samp | X_kbd | X_var | X_cite | X_abbr | X_acronym | X_sub | X_sup | X_input | X_select | X_textarea | X_label | X_button | X_noscript | X_ins | X_del | X_script )*
          ];;
type X_textarea = <textarea>[ ( Char )* ];;
type X_option = <option>[ ( Char )* ];;
type X_optgroup = <optgroup>[ X_option+ ];;
type X_select = <select>[ (X_optgroup | X_option)+ ];;
type X_input = <input>[  ];;
type X_label =
       <label>[
          ( Char | X_a | X_br | X_span | X_bdo | X_map | X_object | X_img | X_tt | X_i | X_b | X_big | X_small | X_em | X_strong | X_dfn | X_code | X_q | X_samp | X_kbd | X_var | X_cite | X_abbr | X_acronym | X_sub | X_sup | X_input | X_select | X_textarea | X_label | X_button | X_ins | X_del | X_script )*
          ];;
type X_form =
       <form>[
          (X_p | X_h1 | X_h2 | X_h3 | X_h4 | X_h5 | X_h6 | X_div | X_ul
           | X_ol | X_dl | X_pre | X_hr | X_blockquote | X_address
           | X_fieldset | X_table | X_noscript | X_ins | X_del | X_script)*
          ];;
type X_area = <area>[  ];;
type X_map =
       <map>[
          ((X_p | X_h1 | X_h2 | X_h3 | X_h4 | X_h5 | X_h6 | X_div | X_ul
            | X_ol | X_dl | X_pre | X_hr | X_blockquote | X_address
            | X_fieldset | X_table | X_form | X_noscript | X_ins | X_del
            | X_script)+
           | X_area+)
          ];;
type X_img = <img>[  ];;
type X_param = <param>[  ];;
type X_object =
       <object>[
          ( Char | X_param | X_p | X_h1 | X_h2 | X_h3 | X_h4 | X_h5 | X_h6 | X_div | X_ul | X_ol | X_dl | X_pre | X_hr | X_blockquote | X_address | X_fieldset | X_table | X_form | X_a | X_br | X_span | X_bdo | X_map | X_object | X_img | X_tt | X_i | X_b | X_big | X_small | X_em | X_strong | X_dfn | X_code | X_q | X_samp | X_kbd | X_var | X_cite | X_abbr | X_acronym | X_sub | X_sup | X_input | X_select | X_textarea | X_label | X_button | X_noscript | X_ins | X_del | X_script )*
          ];;
type X_small =
       <small>[
          ( Char | X_a | X_br | X_span | X_bdo | X_map | X_object | X_img | X_tt | X_i | X_b | X_big | X_small | X_em | X_strong | X_dfn | X_code | X_q | X_samp | X_kbd | X_var | X_cite | X_abbr | X_acronym | X_sub | X_sup | X_input | X_select | X_textarea | X_label | X_button | X_ins | X_del | X_script )*
          ];;
type X_big =
       <big>[
          ( Char | X_a | X_br | X_span | X_bdo | X_map | X_object | X_img | X_tt | X_i | X_b | X_big | X_small | X_em | X_strong | X_dfn | X_code | X_q | X_samp | X_kbd | X_var | X_cite | X_abbr | X_acronym | X_sub | X_sup | X_input | X_select | X_textarea | X_label | X_button | X_ins | X_del | X_script )*
          ];;
type X_b =
       <b>[
          ( Char | X_a | X_br | X_span | X_bdo | X_map | X_object | X_img | X_tt | X_i | X_b | X_big | X_small | X_em | X_strong | X_dfn | X_code | X_q | X_samp | X_kbd | X_var | X_cite | X_abbr | X_acronym | X_sub | X_sup | X_input | X_select | X_textarea | X_label | X_button | X_ins | X_del | X_script )*
          ];;
type X_i =
       <i>[
          ( Char | X_a | X_br | X_span | X_bdo | X_map | X_object | X_img | X_tt | X_i | X_b | X_big | X_small | X_em | X_strong | X_dfn | X_code | X_q | X_samp | X_kbd | X_var | X_cite | X_abbr | X_acronym | X_sub | X_sup | X_input | X_select | X_textarea | X_label | X_button | X_ins | X_del | X_script )*
          ];;
type X_tt =
       <tt>[
          ( Char | X_a | X_br | X_span | X_bdo | X_map | X_object | X_img | X_tt | X_i | X_b | X_big | X_small | X_em | X_strong | X_dfn | X_code | X_q | X_samp | X_kbd | X_var | X_cite | X_abbr | X_acronym | X_sub | X_sup | X_input | X_select | X_textarea | X_label | X_button | X_ins | X_del | X_script )*
          ];;
type X_sup =
       <sup>[
          ( Char | X_a | X_br | X_span | X_bdo | X_map | X_object | X_img | X_tt | X_i | X_b | X_big | X_small | X_em | X_strong | X_dfn | X_code | X_q | X_samp | X_kbd | X_var | X_cite | X_abbr | X_acronym | X_sub | X_sup | X_input | X_select | X_textarea | X_label | X_button | X_ins | X_del | X_script )*
          ];;
type X_sub =
       <sub>[
          ( Char | X_a | X_br | X_span | X_bdo | X_map | X_object | X_img | X_tt | X_i | X_b | X_big | X_small | X_em | X_strong | X_dfn | X_code | X_q | X_samp | X_kbd | X_var | X_cite | X_abbr | X_acronym | X_sub | X_sup | X_input | X_select | X_textarea | X_label | X_button | X_ins | X_del | X_script )*
          ];;
type X_q =
       <q>[
          ( Char | X_a | X_br | X_span | X_bdo | X_map | X_object | X_img | X_tt | X_i | X_b | X_big | X_small | X_em | X_strong | X_dfn | X_code | X_q | X_samp | X_kbd | X_var | X_cite | X_abbr | X_acronym | X_sub | X_sup | X_input | X_select | X_textarea | X_label | X_button | X_ins | X_del | X_script )*
          ];;
type X_acronym =
       <acronym>[
          ( Char | X_a | X_br | X_span | X_bdo | X_map | X_object | X_img | X_tt | X_i | X_b | X_big | X_small | X_em | X_strong | X_dfn | X_code | X_q | X_samp | X_kbd | X_var | X_cite | X_abbr | X_acronym | X_sub | X_sup | X_input | X_select | X_textarea | X_label | X_button | X_ins | X_del | X_script )*
          ];;
type X_abbr =
       <abbr>[
          ( Char | X_a | X_br | X_span | X_bdo | X_map | X_object | X_img | X_tt | X_i | X_b | X_big | X_small | X_em | X_strong | X_dfn | X_code | X_q | X_samp | X_kbd | X_var | X_cite | X_abbr | X_acronym | X_sub | X_sup | X_input | X_select | X_textarea | X_label | X_button | X_ins | X_del | X_script )*
          ];;
type X_cite =
       <cite>[
          ( Char | X_a | X_br | X_span | X_bdo | X_map | X_object | X_img | X_tt | X_i | X_b | X_big | X_small | X_em | X_strong | X_dfn | X_code | X_q | X_samp | X_kbd | X_var | X_cite | X_abbr | X_acronym | X_sub | X_sup | X_input | X_select | X_textarea | X_label | X_button | X_ins | X_del | X_script )*
          ];;
type X_var =
       <var>[
          ( Char | X_a | X_br | X_span | X_bdo | X_map | X_object | X_img | X_tt | X_i | X_b | X_big | X_small | X_em | X_strong | X_dfn | X_code | X_q | X_samp | X_kbd | X_var | X_cite | X_abbr | X_acronym | X_sub | X_sup | X_input | X_select | X_textarea | X_label | X_button | X_ins | X_del | X_script )*
          ];;
type X_kbd =
       <kbd>[
          ( Char | X_a | X_br | X_span | X_bdo | X_map | X_object | X_img | X_tt | X_i | X_b | X_big | X_small | X_em | X_strong | X_dfn | X_code | X_q | X_samp | X_kbd | X_var | X_cite | X_abbr | X_acronym | X_sub | X_sup | X_input | X_select | X_textarea | X_label | X_button | X_ins | X_del | X_script )*
          ];;
type X_samp =
       <samp>[
          ( Char | X_a | X_br | X_span | X_bdo | X_map | X_object | X_img | X_tt | X_i | X_b | X_big | X_small | X_em | X_strong | X_dfn | X_code | X_q | X_samp | X_kbd | X_var | X_cite | X_abbr | X_acronym | X_sub | X_sup | X_input | X_select | X_textarea | X_label | X_button | X_ins | X_del | X_script )*
          ];;
type X_code =
       <code>[
          ( Char | X_a | X_br | X_span | X_bdo | X_map | X_object | X_img | X_tt | X_i | X_b | X_big | X_small | X_em | X_strong | X_dfn | X_code | X_q | X_samp | X_kbd | X_var | X_cite | X_abbr | X_acronym | X_sub | X_sup | X_input | X_select | X_textarea | X_label | X_button | X_ins | X_del | X_script )*
          ];;
type X_dfn =
       <dfn>[
          ( Char | X_a | X_br | X_span | X_bdo | X_map | X_object | X_img | X_tt | X_i | X_b | X_big | X_small | X_em | X_strong | X_dfn | X_code | X_q | X_samp | X_kbd | X_var | X_cite | X_abbr | X_acronym | X_sub | X_sup | X_input | X_select | X_textarea | X_label | X_button | X_ins | X_del | X_script )*
          ];;
type X_strong =
       <strong>[
          ( Char | X_a | X_br | X_span | X_bdo | X_map | X_object | X_img | X_tt | X_i | X_b | X_big | X_small | X_em | X_strong | X_dfn | X_code | X_q | X_samp | X_kbd | X_var | X_cite | X_abbr | X_acronym | X_sub | X_sup | X_input | X_select | X_textarea | X_label | X_button | X_ins | X_del | X_script )*
          ];;
type X_em =
       <em>[
          ( Char | X_a | X_br | X_span | X_bdo | X_map | X_object | X_img | X_tt | X_i | X_b | X_big | X_small | X_em | X_strong | X_dfn | X_code | X_q | X_samp | X_kbd | X_var | X_cite | X_abbr | X_acronym | X_sub | X_sup | X_input | X_select | X_textarea | X_label | X_button | X_ins | X_del | X_script )*
          ];;
type X_br = <br>[  ];;
type X_bdo =
       <bdo>[
          ( Char | X_a | X_br | X_span | X_bdo | X_map | X_object | X_img | X_tt | X_i | X_b | X_big | X_small | X_em | X_strong | X_dfn | X_code | X_q | X_samp | X_kbd | X_var | X_cite | X_abbr | X_acronym | X_sub | X_sup | X_input | X_select | X_textarea | X_label | X_button | X_ins | X_del | X_script )*
          ];;
type X_span =
       <span>[
          ( Char | X_a | X_br | X_span | X_bdo | X_map | X_object | X_img | X_tt | X_i | X_b | X_big | X_small | X_em | X_strong | X_dfn | X_code | X_q | X_samp | X_kbd | X_var | X_cite | X_abbr | X_acronym | X_sub | X_sup | X_input | X_select | X_textarea | X_label | X_button | X_ins | X_del | X_script )*
          ];;
type X_a =
       <a>[
          ( Char | X_br | X_span | X_bdo | X_map | X_object | X_img | X_tt | X_i | X_b | X_big | X_small | X_em | X_strong | X_dfn | X_code | X_q | X_samp | X_kbd | X_var | X_cite | X_abbr | X_acronym | X_sub | X_sup | X_input | X_select | X_textarea | X_label | X_button | X_ins | X_del | X_script )*
          ];;
type X_del =
       <del>[
          ( Char | X_p | X_h1 | X_h2 | X_h3 | X_h4 | X_h5 | X_h6 | X_div | X_ul | X_ol | X_dl | X_pre | X_hr | X_blockquote | X_address | X_fieldset | X_table | X_form | X_a | X_br | X_span | X_bdo | X_map | X_object | X_img | X_tt | X_i | X_b | X_big | X_small | X_em | X_strong | X_dfn | X_code | X_q | X_samp | X_kbd | X_var | X_cite | X_abbr | X_acronym | X_sub | X_sup | X_input | X_select | X_textarea | X_label | X_button | X_noscript | X_ins | X_del | X_script )*
          ];;
type X_ins =
       <ins>[
          ( Char | X_p | X_h1 | X_h2 | X_h3 | X_h4 | X_h5 | X_h6 | X_div | X_ul | X_ol | X_dl | X_pre | X_hr | X_blockquote | X_address | X_fieldset | X_table | X_form | X_a | X_br | X_span | X_bdo | X_map | X_object | X_img | X_tt | X_i | X_b | X_big | X_small | X_em | X_strong | X_dfn | X_code | X_q | X_samp | X_kbd | X_var | X_cite | X_abbr | X_acronym | X_sub | X_sup | X_input | X_select | X_textarea | X_label | X_button | X_noscript | X_ins | X_del | X_script )*
          ];;
type X_blockquote =
       <blockquote>[
          (X_p | X_h1 | X_h2 | X_h3 | X_h4 | X_h5 | X_h6 | X_div | X_ul
           | X_ol | X_dl | X_pre | X_hr | X_blockquote | X_address
           | X_fieldset | X_table | X_form | X_noscript | X_ins | X_del
           | X_script)*
          ];;
type X_pre =
       <pre>[
          ( Char | X_a | X_tt | X_i | X_b | X_big | X_small | X_em | X_strong | X_dfn | X_code | X_q | X_samp | X_kbd | X_var | X_cite | X_abbr | X_acronym | X_sub | X_sup | X_br | X_span | X_bdo | X_map | X_ins | X_del | X_script | X_input | X_select | X_textarea | X_label | X_button )*
          ];;
type X_hr = <hr>[  ];;
type X_address =
       <address>[
          ( Char | X_a | X_br | X_span | X_bdo | X_map | X_object | X_img | X_tt | X_i | X_b | X_big | X_small | X_em | X_strong | X_dfn | X_code | X_q | X_samp | X_kbd | X_var | X_cite | X_abbr | X_acronym | X_sub | X_sup | X_input | X_select | X_textarea | X_label | X_button | X_ins | X_del | X_script )*
          ];;
type X_dd =
       <dd>[
          ( Char | X_p | X_h1 | X_h2 | X_h3 | X_h4 | X_h5 | X_h6 | X_div | X_ul | X_ol | X_dl | X_pre | X_hr | X_blockquote | X_address | X_fieldset | X_table | X_form | X_a | X_br | X_span | X_bdo | X_map | X_object | X_img | X_tt | X_i | X_b | X_big | X_small | X_em | X_strong | X_dfn | X_code | X_q | X_samp | X_kbd | X_var | X_cite | X_abbr | X_acronym | X_sub | X_sup | X_input | X_select | X_textarea | X_label | X_button | X_noscript | X_ins | X_del | X_script )*
          ];;
type X_dt =
       <dt>[
          ( Char | X_a | X_br | X_span | X_bdo | X_map | X_object | X_img | X_tt | X_i | X_b | X_big | X_small | X_em | X_strong | X_dfn | X_code | X_q | X_samp | X_kbd | X_var | X_cite | X_abbr | X_acronym | X_sub | X_sup | X_input | X_select | X_textarea | X_label | X_button | X_ins | X_del | X_script )*
          ];;
type X_dl = <dl>[ (X_dt | X_dd)+ ];;
type X_li =
       <li>[
          ( Char | X_p | X_h1 | X_h2 | X_h3 | X_h4 | X_h5 | X_h6 | X_div | X_ul | X_ol | X_dl | X_pre | X_hr | X_blockquote | X_address | X_fieldset | X_table | X_form | X_a | X_br | X_span | X_bdo | X_map | X_object | X_img | X_tt | X_i | X_b | X_big | X_small | X_em | X_strong | X_dfn | X_code | X_q | X_samp | X_kbd | X_var | X_cite | X_abbr | X_acronym | X_sub | X_sup | X_input | X_select | X_textarea | X_label | X_button | X_noscript | X_ins | X_del | X_script )*
          ];;
type X_ol = <ol>[ X_li+ ];;
type X_ul = <ul>[ X_li+ ];;
type X_h6 =
       <h6>[
          ( Char | X_a | X_br | X_span | X_bdo | X_map | X_object | X_img | X_tt | X_i | X_b | X_big | X_small | X_em | X_strong | X_dfn | X_code | X_q | X_samp | X_kbd | X_var | X_cite | X_abbr | X_acronym | X_sub | X_sup | X_input | X_select | X_textarea | X_label | X_button | X_ins | X_del | X_script )*
          ];;
type X_h5 =
       <h5>[
          ( Char | X_a | X_br | X_span | X_bdo | X_map | X_object | X_img | X_tt | X_i | X_b | X_big | X_small | X_em | X_strong | X_dfn | X_code | X_q | X_samp | X_kbd | X_var | X_cite | X_abbr | X_acronym | X_sub | X_sup | X_input | X_select | X_textarea | X_label | X_button | X_ins | X_del | X_script )*
          ];;
type X_h4 =
       <h4>[
          ( Char | X_a | X_br | X_span | X_bdo | X_map | X_object | X_img | X_tt | X_i | X_b | X_big | X_small | X_em | X_strong | X_dfn | X_code | X_q | X_samp | X_kbd | X_var | X_cite | X_abbr | X_acronym | X_sub | X_sup | X_input | X_select | X_textarea | X_label | X_button | X_ins | X_del | X_script )*
          ];;
type X_h3 =
       <h3>[
          ( Char | X_a | X_br | X_span | X_bdo | X_map | X_object | X_img | X_tt | X_i | X_b | X_big | X_small | X_em | X_strong | X_dfn | X_code | X_q | X_samp | X_kbd | X_var | X_cite | X_abbr | X_acronym | X_sub | X_sup | X_input | X_select | X_textarea | X_label | X_button | X_ins | X_del | X_script )*
          ];;
type X_h2 =
       <h2>[
          ( Char | X_a | X_br | X_span | X_bdo | X_map | X_object | X_img | X_tt | X_i | X_b | X_big | X_small | X_em | X_strong | X_dfn | X_code | X_q | X_samp | X_kbd | X_var | X_cite | X_abbr | X_acronym | X_sub | X_sup | X_input | X_select | X_textarea | X_label | X_button | X_ins | X_del | X_script )*
          ];;
type X_h1 =
       <h1>[
          ( Char | X_a | X_br | X_span | X_bdo | X_map | X_object | X_img | X_tt | X_i | X_b | X_big | X_small | X_em | X_strong | X_dfn | X_code | X_q | X_samp | X_kbd | X_var | X_cite | X_abbr | X_acronym | X_sub | X_sup | X_input | X_select | X_textarea | X_label | X_button | X_ins | X_del | X_script )*
          ];;
type X_p =
       <p>[
          ( Char | X_a | X_br | X_span | X_bdo | X_map | X_object | X_img | X_tt | X_i | X_b | X_big | X_small | X_em | X_strong | X_dfn | X_code | X_q | X_samp | X_kbd | X_var | X_cite | X_abbr | X_acronym | X_sub | X_sup | X_input | X_select | X_textarea | X_label | X_button | X_ins | X_del | X_script )*
          ];;
type X_div =
       <div>[
          ( Char | X_p | X_h1 | X_h2 | X_h3 | X_h4 | X_h5 | X_h6 | X_div | X_ul | X_ol | X_dl | X_pre | X_hr | X_blockquote | X_address | X_fieldset | X_table | X_form | X_a | X_br | X_span | X_bdo | X_map | X_object | X_img | X_tt | X_i | X_b | X_big | X_small | X_em | X_strong | X_dfn | X_code | X_q | X_samp | X_kbd | X_var | X_cite | X_abbr | X_acronym | X_sub | X_sup | X_input | X_select | X_textarea | X_label | X_button | X_noscript | X_ins | X_del | X_script )*
          ];;
type X_body =
       <body>[
          (X_p | X_h1 | X_h2 | X_h3 | X_h4 | X_h5 | X_h6 | X_div | X_ul
           | X_ol | X_dl | X_pre | X_hr | X_blockquote | X_address
           | X_fieldset | X_table | X_form | X_noscript | X_ins | X_del
           | X_script)*
          ];;
type X_noscript =
       <noscript>[
          (X_p | X_h1 | X_h2 | X_h3 | X_h4 | X_h5 | X_h6 | X_div | X_ul
           | X_ol | X_dl | X_pre | X_hr | X_blockquote | X_address
           | X_fieldset | X_table | X_form | X_noscript | X_ins | X_del
           | X_script)*
          ];;
type X_script = <script>[ ( Char )* ];;
type X_style = <style>[ ( Char )* ];;
type X_link = <link>[  ];;
type X_meta = <meta>[  ];;
type X_base = <base>[  ];;
type X_title = <title>[ ( Char )* ];;
type X_head =
       <head>[
          ((X_script | X_style | X_meta | X_link | X_object)*
           ((X_title (X_script | X_style | X_meta | X_link | X_object)*
             (X_base (X_script | X_style | X_meta | X_link | X_object)*)?)
            | (X_base (X_script | X_style | X_meta | X_link | X_object)*
               (X_title (X_script | X_style | X_meta | X_link | X_object)*))))
          ];;
type X_html = <html>[ (X_head X_body) ];;

253

254
match load_xml "tests/xhtml.xml" with X_html -> `Ok | _ -> `Not_ok;;
255

256
257
258
(*
match load_xml "tests/xhtml.xml" with x -> x;;
*)