This file is indexed.

/usr/lib/ocaml/oasis/BaseDoc.annot is in liboasis-ocaml-dev 0.4.10-2build1.

This file is owned by root:root, with mode 0o644.

The actual contents of the file can be viewed below.

  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
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
"src/base/BaseDoc.ml" 30 1769 1773 "src/base/BaseDoc.ml" 30 1769 1776
type(
  ctxt:'a ->
  ((ctxt:'a ->
    OASISTypes.package ->
    OASISTypes.common_section * OASISTypes.doc -> 'b -> unit) *
   OASISTypes.common_section * OASISTypes.doc)
  list -> OASISTypes.package -> 'b -> unit
)
ident(
  def doc "src/base/BaseDoc.ml" 54 2457 2506 "src/base/BaseDoc.ml" 1 0 -1
)
"src/base/BaseDoc.ml" 30 1769 1778 "src/base/BaseDoc.ml" 30 1769 1782
type(
  'a
)
ident(
  def ctxt "src/base/BaseDoc.ml" 30 1769 1783 "src/base/BaseDoc.ml" 54 2457 2506
)
"src/base/BaseDoc.ml" 30 1769 1783 "src/base/BaseDoc.ml" 30 1769 1786
type(
  ((ctxt:'a ->
    OASISTypes.package ->
    OASISTypes.common_section * OASISTypes.doc -> 'b -> unit) *
   OASISTypes.common_section * OASISTypes.doc)
  list
)
ident(
  def lst "src/base/BaseDoc.ml" 30 1769 1787 "src/base/BaseDoc.ml" 54 2457 2506
)
"src/base/BaseDoc.ml" 30 1769 1787 "src/base/BaseDoc.ml" 30 1769 1790
type(
  OASISTypes.package
)
ident(
  def pkg "src/base/BaseDoc.ml" 30 1769 1791 "src/base/BaseDoc.ml" 54 2457 2506
)
"src/base/BaseDoc.ml" 30 1769 1791 "src/base/BaseDoc.ml" 30 1769 1801
type(
  'b
)
ident(
  def extra_args "src/base/BaseDoc.ml" 32 1805 1807 "src/base/BaseDoc.ml" 54 2457 2506
)
"src/base/BaseDoc.ml" 32 1805 1811 "src/base/BaseDoc.ml" 32 1805 1818
type(
  (ctxt:'a ->
   OASISTypes.package ->
   OASISTypes.common_section * OASISTypes.doc -> 'b -> unit) *
  OASISTypes.common_section * OASISTypes.doc -> unit
)
ident(
  def one_doc "src/base/BaseDoc.ml" 47 2216 2218 "src/base/BaseDoc.ml" 54 2457 2506
)
"src/base/BaseDoc.ml" 32 1805 1820 "src/base/BaseDoc.ml" 32 1805 1830
type(
  ctxt:'a ->
  OASISTypes.package ->
  OASISTypes.common_section * OASISTypes.doc -> 'b -> unit
)
ident(
  def doc_plugin "src/base/BaseDoc.ml" 33 1843 1847 "src/base/BaseDoc.ml" 45 2201 2210
)
"src/base/BaseDoc.ml" 32 1805 1832 "src/base/BaseDoc.ml" 32 1805 1834
type(
  OASISTypes.common_section
)
ident(
  def cs "src/base/BaseDoc.ml" 33 1843 1847 "src/base/BaseDoc.ml" 45 2201 2210
)
"src/base/BaseDoc.ml" 32 1805 1836 "src/base/BaseDoc.ml" 32 1805 1839
type(
  OASISTypes.doc
)
ident(
  def doc "src/base/BaseDoc.ml" 33 1843 1847 "src/base/BaseDoc.ml" 45 2201 2210
)
"src/base/BaseDoc.ml" 32 1805 1819 "src/base/BaseDoc.ml" 32 1805 1840
type(
  (ctxt:'a ->
   OASISTypes.package ->
   OASISTypes.common_section * OASISTypes.doc -> 'b -> unit) *
  OASISTypes.common_section * OASISTypes.doc
)
"src/base/BaseDoc.ml" 33 1843 1850 "src/base/BaseDoc.ml" 33 1843 1860
type(
  ?printer:(bool -> string) -> ?name:string -> bool OASISExpr.choices -> bool
)
ident(
  ext_ref BaseEnv.var_choose
)
"src/base/BaseDoc.ml" 34 1861 1876 "src/base/BaseDoc.ml" 34 1861 1890
type(
  (OASISTypes.name -> string, unit, string) format ->
  OASISTypes.name -> string
)
ident(
  ext_ref Printf.sprintf
)
"src/base/BaseDoc.ml" 35 1891 1904 "src/base/BaseDoc.ml" 35 1891 1906
type(
  (OASISTypes.name -> string, unit, string, string) format4 ->
  (OASISTypes.name -> string, unit, string, string) format4
)
ident(
  ext_ref OASISGettext.f_
)
"src/base/BaseDoc.ml" 35 1891 1907 "src/base/BaseDoc.ml" 35 1891 1931
type(
  (OASISTypes.name -> string, unit, string, string) format4
)
"src/base/BaseDoc.ml" 35 1891 1903 "src/base/BaseDoc.ml" 35 1891 1932
call(
  stack
)
type(
  (OASISTypes.name -> string, unit, string, string) format4
)
"src/base/BaseDoc.ml" 36 1933 1945 "src/base/BaseDoc.ml" 36 1933 1947
type(
  OASISTypes.common_section
)
ident(
  int_ref cs "src/base/BaseDoc.ml" 32 1805 1832 "src/base/BaseDoc.ml" 32 1805 1834
)
"src/base/BaseDoc.ml" 36 1933 1945 "src/base/BaseDoc.ml" 36 1933 1955
type(
  OASISTypes.name
)
"src/base/BaseDoc.ml" 34 1861 1875 "src/base/BaseDoc.ml" 36 1933 1956
call(
  stack
)
type(
  string
)
"src/base/BaseDoc.ml" 37 1957 1974 "src/base/BaseDoc.ml" 37 1957 1988
type(
  bool -> string
)
ident(
  ext_ref Pervasives.string_of_bool
)
"src/base/BaseDoc.ml" 38 1989 1997 "src/base/BaseDoc.ml" 38 1989 2000
type(
  OASISTypes.doc
)
ident(
  int_ref doc "src/base/BaseDoc.ml" 32 1805 1836 "src/base/BaseDoc.ml" 32 1805 1839
)
"src/base/BaseDoc.ml" 38 1989 1997 "src/base/BaseDoc.ml" 38 1989 2010
type(
  bool OASISTypes.conditional
)
"src/base/BaseDoc.ml" 33 1843 1850 "src/base/BaseDoc.ml" 38 1989 2010
call(
  stack
)
type(
  bool
)
"src/base/BaseDoc.ml" 40 2028 2036 "src/base/BaseDoc.ml" 40 2028 2040
type(
  (OASISTypes.name -> unit, unit, string, unit) format4 ->
  OASISTypes.name -> unit
)
ident(
  ext_ref BaseMessage.info
)
"src/base/BaseDoc.ml" 40 2028 2042 "src/base/BaseDoc.ml" 40 2028 2044
type(
  (OASISTypes.name -> unit, unit, string, unit) format4 ->
  (OASISTypes.name -> unit, unit, string, unit) format4
)
ident(
  ext_ref OASISGettext.f_
)
"src/base/BaseDoc.ml" 40 2028 2045 "src/base/BaseDoc.ml" 40 2028 2074
type(
  (OASISTypes.name -> unit, unit, string, unit) format4
)
"src/base/BaseDoc.ml" 40 2028 2041 "src/base/BaseDoc.ml" 40 2028 2075
call(
  stack
)
type(
  (OASISTypes.name -> unit, unit, string, unit) format4
)
"src/base/BaseDoc.ml" 40 2028 2076 "src/base/BaseDoc.ml" 40 2028 2078
type(
  OASISTypes.common_section
)
ident(
  int_ref cs "src/base/BaseDoc.ml" 32 1805 1832 "src/base/BaseDoc.ml" 32 1805 1834
)
"src/base/BaseDoc.ml" 40 2028 2076 "src/base/BaseDoc.ml" 40 2028 2086
type(
  OASISTypes.name
)
"src/base/BaseDoc.ml" 40 2028 2036 "src/base/BaseDoc.ml" 40 2028 2086
call(
  stack
)
type(
  unit
)
"src/base/BaseDoc.ml" 41 2088 2096 "src/base/BaseDoc.ml" 41 2088 2111
type(
  ?failsafe:bool -> OASISTypes.custom -> ('b -> unit) -> 'b -> unit
)
ident(
  ext_ref BaseCustom.hook
)
"src/base/BaseDoc.ml" 42 2112 2122 "src/base/BaseDoc.ml" 42 2112 2125
type(
  OASISTypes.doc
)
ident(
  int_ref doc "src/base/BaseDoc.ml" 32 1805 1836 "src/base/BaseDoc.ml" 32 1805 1839
)
"src/base/BaseDoc.ml" 42 2112 2122 "src/base/BaseDoc.ml" 42 2112 2136
type(
  OASISTypes.custom
)
"src/base/BaseDoc.ml" 43 2137 2148 "src/base/BaseDoc.ml" 43 2137 2158
type(
  ctxt:'a ->
  OASISTypes.package ->
  OASISTypes.common_section * OASISTypes.doc -> 'b -> unit
)
ident(
  int_ref doc_plugin "src/base/BaseDoc.ml" 32 1805 1820 "src/base/BaseDoc.ml" 32 1805 1830
)
"src/base/BaseDoc.ml" 43 2137 2160 "src/base/BaseDoc.ml" 43 2137 2164
type(
  'a
)
ident(
  int_ref ctxt "src/base/BaseDoc.ml" 30 1769 1778 "src/base/BaseDoc.ml" 30 1769 1782
)
"src/base/BaseDoc.ml" 43 2137 2165 "src/base/BaseDoc.ml" 43 2137 2168
type(
  OASISTypes.package
)
ident(
  int_ref pkg "src/base/BaseDoc.ml" 30 1769 1787 "src/base/BaseDoc.ml" 30 1769 1790
)
"src/base/BaseDoc.ml" 43 2137 2170 "src/base/BaseDoc.ml" 43 2137 2172
type(
  OASISTypes.common_section
)
ident(
  int_ref cs "src/base/BaseDoc.ml" 32 1805 1832 "src/base/BaseDoc.ml" 32 1805 1834
)
"src/base/BaseDoc.ml" 43 2137 2174 "src/base/BaseDoc.ml" 43 2137 2177
type(
  OASISTypes.doc
)
ident(
  int_ref doc "src/base/BaseDoc.ml" 32 1805 1836 "src/base/BaseDoc.ml" 32 1805 1839
)
"src/base/BaseDoc.ml" 43 2137 2169 "src/base/BaseDoc.ml" 43 2137 2178
type(
  OASISTypes.common_section * OASISTypes.doc
)
"src/base/BaseDoc.ml" 43 2137 2147 "src/base/BaseDoc.ml" 43 2137 2179
call(
  stack
)
type(
  'b -> unit
)
"src/base/BaseDoc.ml" 44 2180 2190 "src/base/BaseDoc.ml" 44 2180 2200
type(
  'b
)
ident(
  int_ref extra_args "src/base/BaseDoc.ml" 30 1769 1791 "src/base/BaseDoc.ml" 30 1769 1801
)
"src/base/BaseDoc.ml" 41 2088 2096 "src/base/BaseDoc.ml" 44 2180 2200
call(
  tail
)
type(
  unit
)
"src/base/BaseDoc.ml" 39 2016 2022 "src/base/BaseDoc.ml" 45 2201 2210
type(
  unit
)
"src/base/BaseDoc.ml" 33 1843 1847 "src/base/BaseDoc.ml" 45 2201 2210
type(
  unit
)
"src/base/BaseDoc.ml" 47 2216 2218 "src/base/BaseDoc.ml" 47 2216 2227
type(
  ((ctxt:'a ->
    OASISTypes.package ->
    OASISTypes.common_section * OASISTypes.doc -> 'b -> unit) *
   OASISTypes.common_section * OASISTypes.doc -> unit) ->
  ((ctxt:'a ->
    OASISTypes.package ->
    OASISTypes.common_section * OASISTypes.doc -> 'b -> unit) *
   OASISTypes.common_section * OASISTypes.doc)
  list -> unit
)
ident(
  ext_ref List.iter
)
"src/base/BaseDoc.ml" 47 2216 2228 "src/base/BaseDoc.ml" 47 2216 2235
type(
  (ctxt:'a ->
   OASISTypes.package ->
   OASISTypes.common_section * OASISTypes.doc -> 'b -> unit) *
  OASISTypes.common_section * OASISTypes.doc -> unit
)
ident(
  int_ref one_doc "src/base/BaseDoc.ml" 32 1805 1811 "src/base/BaseDoc.ml" 32 1805 1818
)
"src/base/BaseDoc.ml" 47 2216 2236 "src/base/BaseDoc.ml" 47 2216 2239
type(
  ((ctxt:'a ->
    OASISTypes.package ->
    OASISTypes.common_section * OASISTypes.doc -> 'b -> unit) *
   OASISTypes.common_section * OASISTypes.doc)
  list
)
ident(
  int_ref lst "src/base/BaseDoc.ml" 30 1769 1783 "src/base/BaseDoc.ml" 30 1769 1786
)
"src/base/BaseDoc.ml" 47 2216 2218 "src/base/BaseDoc.ml" 47 2216 2239
call(
  stack
)
type(
  unit
)
"src/base/BaseDoc.ml" 49 2242 2247 "src/base/BaseDoc.ml" 49 2242 2273
type(
  OASISFeatures.t -> OASISTypes.package -> bool
)
ident(
  ext_ref OASISFeatures.package_test
)
"src/base/BaseDoc.ml" 49 2242 2274 "src/base/BaseDoc.ml" 49 2242 2297
type(
  OASISFeatures.t
)
ident(
  ext_ref OASISFeatures.flag_docs
)
"src/base/BaseDoc.ml" 49 2242 2298 "src/base/BaseDoc.ml" 49 2242 2301
type(
  OASISTypes.package
)
ident(
  int_ref pkg "src/base/BaseDoc.ml" 30 1769 1787 "src/base/BaseDoc.ml" 30 1769 1790
)
"src/base/BaseDoc.ml" 49 2242 2247 "src/base/BaseDoc.ml" 49 2242 2301
call(
  stack
)
type(
  bool
)
"src/base/BaseDoc.ml" 49 2242 2302 "src/base/BaseDoc.ml" 49 2242 2304
type(
  bool -> bool -> bool
)
ident(
  ext_ref Pervasives.( && )
)
"src/base/BaseDoc.ml" 50 2305 2310 "src/base/BaseDoc.ml" 50 2305 2313
type(
  bool -> bool
)
ident(
  ext_ref Pervasives.not
)
"src/base/BaseDoc.ml" 50 2305 2315 "src/base/BaseDoc.ml" 50 2305 2329
type(
  string -> bool
)
ident(
  ext_ref Pervasives.bool_of_string
)
"src/base/BaseDoc.ml" 50 2305 2331 "src/base/BaseDoc.ml" 50 2305 2351
type(
  unit -> string
)
ident(
  ext_ref BaseStandardVar.docs
)
"src/base/BaseDoc.ml" 50 2305 2352 "src/base/BaseDoc.ml" 50 2305 2354
type(
  unit
)
"src/base/BaseDoc.ml" 50 2305 2330 "src/base/BaseDoc.ml" 50 2305 2355
call(
  stack
)
type(
  string
)
"src/base/BaseDoc.ml" 50 2305 2314 "src/base/BaseDoc.ml" 50 2305 2356
call(
  stack
)
type(
  bool
)
"src/base/BaseDoc.ml" 50 2305 2310 "src/base/BaseDoc.ml" 50 2305 2356
type(
  bool
)
"src/base/BaseDoc.ml" 50 2305 2357 "src/base/BaseDoc.ml" 50 2305 2359
type(
  bool -> bool -> bool
)
ident(
  ext_ref Pervasives.( && )
)
"src/base/BaseDoc.ml" 51 2360 2365 "src/base/BaseDoc.ml" 51 2360 2368
type(
  ((ctxt:'a ->
    OASISTypes.package ->
    OASISTypes.common_section * OASISTypes.doc -> 'b -> unit) *
   OASISTypes.common_section * OASISTypes.doc)
  list
)
ident(
  int_ref lst "src/base/BaseDoc.ml" 30 1769 1783 "src/base/BaseDoc.ml" 30 1769 1786
)
"src/base/BaseDoc.ml" 51 2360 2369 "src/base/BaseDoc.ml" 51 2360 2371
type(
  ((ctxt:'a ->
    OASISTypes.package ->
    OASISTypes.common_section * OASISTypes.doc -> 'b -> unit) *
   OASISTypes.common_section * OASISTypes.doc)
  list ->
  ((ctxt:'a ->
    OASISTypes.package ->
    OASISTypes.common_section * OASISTypes.doc -> 'b -> unit) *
   OASISTypes.common_section * OASISTypes.doc)
  list -> bool
)
ident(
  ext_ref Pervasives.( <> )
)
"src/base/BaseDoc.ml" 51 2360 2372 "src/base/BaseDoc.ml" 51 2360 2374
type(
  ((ctxt:'a ->
    OASISTypes.package ->
    OASISTypes.common_section * OASISTypes.doc -> 'b -> unit) *
   OASISTypes.common_section * OASISTypes.doc)
  list
)
"src/base/BaseDoc.ml" 51 2360 2365 "src/base/BaseDoc.ml" 51 2360 2374
type(
  bool
)
"src/base/BaseDoc.ml" 50 2305 2310 "src/base/BaseDoc.ml" 51 2360 2374
type(
  bool
)
"src/base/BaseDoc.ml" 49 2242 2247 "src/base/BaseDoc.ml" 51 2360 2374
type(
  bool
)
"src/base/BaseDoc.ml" 52 2380 2384 "src/base/BaseDoc.ml" 52 2380 2403
type(
  (unit, unit, string, unit) format4 -> unit
)
ident(
  ext_ref BaseMessage.warning
)
"src/base/BaseDoc.ml" 53 2404 2410 "src/base/BaseDoc.ml" 54 2457 2506
type(
  (unit, unit, string, unit) format4
)
"src/base/BaseDoc.ml" 52 2380 2384 "src/base/BaseDoc.ml" 54 2457 2506
call(
  tail
)
type(
  unit
)
"src/base/BaseDoc.ml" 49 2242 2244 "src/base/BaseDoc.ml" 54 2457 2506
type(
  unit
)
"src/base/BaseDoc.ml" 47 2216 2218 "src/base/BaseDoc.ml" 54 2457 2506
type(
  unit
)
"src/base/BaseDoc.ml" 32 1805 1807 "src/base/BaseDoc.ml" 54 2457 2506
type(
  unit
)