liboasis-ocaml-dev 0.4.10-2build1 / usr / lib / ocaml / oasis / CLIPager.annot

This file is indexed.

/usr/lib/ocaml/oasis/CLIPager.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
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
"src/cli/CLIPager.ml" 33 1788 1792 "src/cli/CLIPager.ml" 33 1788 1801
type(
  OASISTypes.host_filename option
)
ident(
  def pager_cmd "src/cli/CLIPager.ml" 49 2093 2093 "src/cli/CLIPager.ml" 1 0 -1
)
"src/cli/CLIPager.ml" 37 1830 1839 "src/cli/CLIPager.ml" 37 1830 1849
type(
  string -> OASISTypes.host_filename
)
ident(
  ext_ref Sys.getenv
)
"src/cli/CLIPager.ml" 37 1830 1850 "src/cli/CLIPager.ml" 37 1830 1863
type(
  string
)
"src/cli/CLIPager.ml" 37 1830 1839 "src/cli/CLIPager.ml" 37 1830 1863
type(
  OASISTypes.host_filename
)
"src/cli/CLIPager.ml" 38 1864 1876 "src/cli/CLIPager.ml" 38 1864 1885
type(
  exn
)
"src/cli/CLIPager.ml" 41 1919 1932 "src/cli/CLIPager.ml" 41 1919 1942
type(
  string -> OASISTypes.host_filename
)
ident(
  ext_ref Sys.getenv
)
"src/cli/CLIPager.ml" 41 1919 1943 "src/cli/CLIPager.ml" 41 1919 1950
type(
  string
)
"src/cli/CLIPager.ml" 41 1919 1932 "src/cli/CLIPager.ml" 41 1919 1950
type(
  OASISTypes.host_filename
)
"src/cli/CLIPager.ml" 42 1951 1967 "src/cli/CLIPager.ml" 42 1951 1976
type(
  exn
)
"src/cli/CLIPager.ml" 43 1980 1993 "src/cli/CLIPager.ml" 43 1980 2012
type(
  ctxt:OASISContext.t -> OASISTypes.host_filename -> OASISTypes.host_filename
)
ident(
  ext_ref OASISFileUtil.which
)
"src/cli/CLIPager.ml" 43 1980 2019 "src/cli/CLIPager.ml" 43 1980 2020
type(
  OASISContext.t ref -> OASISContext.t
)
ident(
  ext_ref Pervasives.( ! )
)
"src/cli/CLIPager.ml" 43 1980 2020 "src/cli/CLIPager.ml" 43 1980 2039
type(
  OASISContext.t ref
)
ident(
  ext_ref BaseContext.default
)
"src/cli/CLIPager.ml" 43 1980 2019 "src/cli/CLIPager.ml" 43 1980 2039
type(
  OASISContext.t
)
"src/cli/CLIPager.ml" 43 1980 2040 "src/cli/CLIPager.ml" 43 1980 2047
type(
  OASISTypes.host_filename
)
"src/cli/CLIPager.ml" 43 1980 1993 "src/cli/CLIPager.ml" 43 1980 2047
call(
  stack
)
type(
  OASISTypes.host_filename
)
"src/cli/CLIPager.ml" 39 1889 1898 "src/cli/CLIPager.ml" 44 2048 2060
type(
  OASISTypes.host_filename
)
"src/cli/CLIPager.ml" 36 1819 1825 "src/cli/CLIPager.ml" 44 2048 2061
type(
  OASISTypes.host_filename
)
"src/cli/CLIPager.ml" 35 1810 1814 "src/cli/CLIPager.ml" 44 2048 2061
type(
  OASISTypes.host_filename option
)
"src/cli/CLIPager.ml" 45 2062 2069 "src/cli/CLIPager.ml" 45 2062 2078
type(
  exn
)
"src/cli/CLIPager.ml" 46 2082 2086 "src/cli/CLIPager.ml" 46 2082 2090
type(
  OASISTypes.host_filename option
)
"src/cli/CLIPager.ml" 34 1804 1806 "src/cli/CLIPager.ml" 46 2082 2090
type(
  OASISTypes.host_filename option
)
"src/cli/CLIPager.ml" 49 2093 2097 "src/cli/CLIPager.ml" 49 2093 2105
type(
  unit -> (Buffer.t * Format.formatter) * Format.formatter
)
ident(
  def open_out "src/cli/CLIPager.ml" 60 2223 2223 "src/cli/CLIPager.ml" 1 0 -1
)
"src/cli/CLIPager.ml" 49 2093 2106 "src/cli/CLIPager.ml" 49 2093 2108
type(
  unit
)
"src/cli/CLIPager.ml" 50 2111 2117 "src/cli/CLIPager.ml" 50 2111 2120
type(
  Buffer.t
)
ident(
  def buf "src/cli/CLIPager.ml" 53 2149 2151 "src/cli/CLIPager.ml" 57 2215 2220
)
"src/cli/CLIPager.ml" 51 2123 2127 "src/cli/CLIPager.ml" 51 2123 2140
type(
  int -> Buffer.t
)
ident(
  ext_ref Buffer.create
)
"src/cli/CLIPager.ml" 51 2123 2141 "src/cli/CLIPager.ml" 51 2123 2143
type(
  int
)
"src/cli/CLIPager.ml" 51 2123 2127 "src/cli/CLIPager.ml" 51 2123 2143
call(
  stack
)
type(
  Buffer.t
)
"src/cli/CLIPager.ml" 53 2149 2155 "src/cli/CLIPager.ml" 53 2149 2158
type(
  Format.formatter
)
ident(
  def fmt "src/cli/CLIPager.ml" 56 2201 2203 "src/cli/CLIPager.ml" 57 2215 2220
)
"src/cli/CLIPager.ml" 54 2161 2165 "src/cli/CLIPager.ml" 54 2161 2191
type(
  Buffer.t -> Format.formatter
)
ident(
  ext_ref Format.formatter_of_buffer
)
"src/cli/CLIPager.ml" 54 2161 2192 "src/cli/CLIPager.ml" 54 2161 2195
type(
  Buffer.t
)
ident(
  int_ref buf "src/cli/CLIPager.ml" 50 2111 2117 "src/cli/CLIPager.ml" 50 2111 2120
)
"src/cli/CLIPager.ml" 54 2161 2165 "src/cli/CLIPager.ml" 54 2161 2195
call(
  stack
)
type(
  Format.formatter
)
"src/cli/CLIPager.ml" 56 2201 2204 "src/cli/CLIPager.ml" 56 2201 2207
type(
  Buffer.t
)
ident(
  int_ref buf "src/cli/CLIPager.ml" 50 2111 2117 "src/cli/CLIPager.ml" 50 2111 2120
)
"src/cli/CLIPager.ml" 56 2201 2209 "src/cli/CLIPager.ml" 56 2201 2212
type(
  Format.formatter
)
ident(
  int_ref fmt "src/cli/CLIPager.ml" 53 2149 2155 "src/cli/CLIPager.ml" 53 2149 2158
)
"src/cli/CLIPager.ml" 56 2201 2203 "src/cli/CLIPager.ml" 56 2201 2213
type(
  Buffer.t * Format.formatter
)
"src/cli/CLIPager.ml" 57 2215 2217 "src/cli/CLIPager.ml" 57 2215 2220
type(
  Format.formatter
)
ident(
  int_ref fmt "src/cli/CLIPager.ml" 53 2149 2155 "src/cli/CLIPager.ml" 53 2149 2158
)
"src/cli/CLIPager.ml" 56 2201 2203 "src/cli/CLIPager.ml" 57 2215 2220
type(
  (Buffer.t * Format.formatter) * Format.formatter
)
"src/cli/CLIPager.ml" 53 2149 2151 "src/cli/CLIPager.ml" 57 2215 2220
type(
  (Buffer.t * Format.formatter) * Format.formatter
)
"src/cli/CLIPager.ml" 50 2111 2113 "src/cli/CLIPager.ml" 57 2215 2220
type(
  (Buffer.t * Format.formatter) * Format.formatter
)
"src/cli/CLIPager.ml" 60 2223 2227 "src/cli/CLIPager.ml" 60 2223 2236
type(
  Buffer.t * Format.formatter -> unit
)
ident(
  def close_out "src/cli/CLIPager.ml" 88 2908 2917 "src/cli/CLIPager.ml" 1 0 -1
)
"src/cli/CLIPager.ml" 60 2223 2238 "src/cli/CLIPager.ml" 60 2223 2241
type(
  Buffer.t
)
ident(
  def buf "src/cli/CLIPager.ml" 61 2250 2252 "src/cli/CLIPager.ml" 88 2908 2917
)
"src/cli/CLIPager.ml" 60 2223 2243 "src/cli/CLIPager.ml" 60 2223 2246
type(
  Format.formatter
)
ident(
  def fmt "src/cli/CLIPager.ml" 61 2250 2252 "src/cli/CLIPager.ml" 88 2908 2917
)
"src/cli/CLIPager.ml" 60 2223 2237 "src/cli/CLIPager.ml" 60 2223 2247
type(
  Buffer.t * Format.formatter
)
"src/cli/CLIPager.ml" 61 2250 2256 "src/cli/CLIPager.ml" 61 2250 2258
type(
  unit
)
"src/cli/CLIPager.ml" 62 2261 2265 "src/cli/CLIPager.ml" 62 2261 2286
type(
  Format.formatter -> unit -> unit
)
ident(
  ext_ref Format.pp_print_flush
)
"src/cli/CLIPager.ml" 62 2261 2287 "src/cli/CLIPager.ml" 62 2261 2290
type(
  Format.formatter
)
ident(
  int_ref fmt "src/cli/CLIPager.ml" 60 2223 2243 "src/cli/CLIPager.ml" 60 2223 2246
)
"src/cli/CLIPager.ml" 62 2261 2291 "src/cli/CLIPager.ml" 62 2261 2293
type(
  unit
)
"src/cli/CLIPager.ml" 62 2261 2265 "src/cli/CLIPager.ml" 62 2261 2293
call(
  stack
)
type(
  unit
)
"src/cli/CLIPager.ml" 64 2299 2307 "src/cli/CLIPager.ml" 64 2299 2316
type(
  OASISTypes.host_filename option
)
ident(
  int_ref pager_cmd "src/cli/CLIPager.ml" 33 1788 1792 "src/cli/CLIPager.ml" 33 1788 1801
)
"src/cli/CLIPager.ml" 65 2322 2333 "src/cli/CLIPager.ml" 65 2322 2336
type(
  OASISTypes.host_filename
)
ident(
  def cmd "src/cli/CLIPager.ml" 66 2340 2346 "src/cli/CLIPager.ml" 82 2765 2774
)
"src/cli/CLIPager.ml" 65 2322 2328 "src/cli/CLIPager.ml" 65 2322 2336
type(
  OASISTypes.host_filename option
)
"src/cli/CLIPager.ml" 67 2352 2364 "src/cli/CLIPager.ml" 67 2352 2368
type(
  out_channel
)
ident(
  def proc "src/cli/CLIPager.ml" 70 2418 2426 "src/cli/CLIPager.ml" 81 2745 2764
)
"src/cli/CLIPager.ml" 68 2371 2381 "src/cli/CLIPager.ml" 68 2371 2402
type(
  OASISTypes.host_filename -> out_channel
)
ident(
  ext_ref Unix.open_process_out
)
"src/cli/CLIPager.ml" 68 2371 2403 "src/cli/CLIPager.ml" 68 2371 2406
type(
  OASISTypes.host_filename
)
ident(
  int_ref cmd "src/cli/CLIPager.ml" 65 2322 2333 "src/cli/CLIPager.ml" 65 2322 2336
)
"src/cli/CLIPager.ml" 68 2371 2381 "src/cli/CLIPager.ml" 68 2371 2406
call(
  stack
)
type(
  out_channel
)
"src/cli/CLIPager.ml" 70 2418 2430 "src/cli/CLIPager.ml" 70 2418 2432
type(
  unit
)
"src/cli/CLIPager.ml" 71 2435 2445 "src/cli/CLIPager.ml" 71 2435 2465
type(
  out_channel -> Buffer.t -> unit
)
ident(
  ext_ref Buffer.output_buffer
)
"src/cli/CLIPager.ml" 71 2435 2466 "src/cli/CLIPager.ml" 71 2435 2470
type(
  out_channel
)
ident(
  int_ref proc "src/cli/CLIPager.ml" 67 2352 2364 "src/cli/CLIPager.ml" 67 2352 2368
)
"src/cli/CLIPager.ml" 71 2435 2471 "src/cli/CLIPager.ml" 71 2435 2474
type(
  Buffer.t
)
ident(
  int_ref buf "src/cli/CLIPager.ml" 60 2223 2238 "src/cli/CLIPager.ml" 60 2223 2241
)
"src/cli/CLIPager.ml" 71 2435 2445 "src/cli/CLIPager.ml" 71 2435 2474
call(
  stack
)
type(
  unit
)
"src/cli/CLIPager.ml" 73 2486 2500 "src/cli/CLIPager.ml" 73 2486 2522
type(
  out_channel -> Unix.process_status
)
ident(
  ext_ref Unix.close_process_out
)
"src/cli/CLIPager.ml" 73 2486 2523 "src/cli/CLIPager.ml" 73 2486 2527
type(
  out_channel
)
ident(
  int_ref proc "src/cli/CLIPager.ml" 67 2352 2364 "src/cli/CLIPager.ml" 67 2352 2368
)
"src/cli/CLIPager.ml" 73 2486 2500 "src/cli/CLIPager.ml" 73 2486 2527
call(
  stack
)
type(
  Unix.process_status
)
"src/cli/CLIPager.ml" 74 2533 2558 "src/cli/CLIPager.ml" 74 2533 2559
type(
  int
)
"src/cli/CLIPager.ml" 74 2533 2545 "src/cli/CLIPager.ml" 74 2533 2559
type(
  Unix.process_status
)
"src/cli/CLIPager.ml" 75 2563 2575 "src/cli/CLIPager.ml" 75 2563 2577
type(
  unit
)
"src/cli/CLIPager.ml" 76 2578 2603 "src/cli/CLIPager.ml" 76 2578 2604
type(
  int
)
ident(
  def n "src/cli/CLIPager.ml" 79 2665 2677 "src/cli/CLIPager.ml" 81 2745 2764
)
"src/cli/CLIPager.ml" 76 2578 2590 "src/cli/CLIPager.ml" 76 2578 2604
type(
  Unix.process_status
)
"src/cli/CLIPager.ml" 77 2605 2632 "src/cli/CLIPager.ml" 77 2605 2633
type(
  int
)
ident(
  def n "src/cli/CLIPager.ml" 79 2665 2677 "src/cli/CLIPager.ml" 81 2745 2764
)
"src/cli/CLIPager.ml" 77 2605 2617 "src/cli/CLIPager.ml" 77 2605 2633
type(
  Unix.process_status
)
"src/cli/CLIPager.ml" 76 2578 2590 "src/cli/CLIPager.ml" 77 2605 2633
type(
  Unix.process_status
)
"src/cli/CLIPager.ml" 78 2634 2660 "src/cli/CLIPager.ml" 78 2634 2661
type(
  int
)
ident(
  def n "src/cli/CLIPager.ml" 79 2665 2677 "src/cli/CLIPager.ml" 81 2745 2764
)
"src/cli/CLIPager.ml" 78 2634 2646 "src/cli/CLIPager.ml" 78 2634 2661
type(
  Unix.process_status
)
"src/cli/CLIPager.ml" 76 2578 2590 "src/cli/CLIPager.ml" 78 2634 2661
type(
  Unix.process_status
)
"src/cli/CLIPager.ml" 79 2665 2677 "src/cli/CLIPager.ml" 79 2665 2686
type(
  (OASISTypes.host_filename -> int -> unit, unit, string, unit) format4 ->
  OASISTypes.host_filename -> int -> unit
)
ident(
  ext_ref OASISUtils.failwithf
)
"src/cli/CLIPager.ml" 80 2687 2702 "src/cli/CLIPager.ml" 80 2687 2704
type(
  (OASISTypes.host_filename -> int -> unit, unit, string, unit) format4 ->
  (OASISTypes.host_filename -> int -> unit, unit, string, unit) format4
)
ident(
  ext_ref OASISGettext.f_
)
"src/cli/CLIPager.ml" 80 2687 2705 "src/cli/CLIPager.ml" 80 2687 2743
type(
  (OASISTypes.host_filename -> int -> unit, unit, string, unit) format4
)
"src/cli/CLIPager.ml" 80 2687 2701 "src/cli/CLIPager.ml" 80 2687 2744
call(
  stack
)
type(
  (OASISTypes.host_filename -> int -> unit, unit, string, unit) format4
)
"src/cli/CLIPager.ml" 81 2745 2759 "src/cli/CLIPager.ml" 81 2745 2762
type(
  OASISTypes.host_filename
)
ident(
  int_ref cmd "src/cli/CLIPager.ml" 65 2322 2333 "src/cli/CLIPager.ml" 65 2322 2336
)
"src/cli/CLIPager.ml" 81 2745 2763 "src/cli/CLIPager.ml" 81 2745 2764
type(
  int
)
ident(
  int_ref n "src/cli/CLIPager.ml" 76 2578 2603 "src/cli/CLIPager.ml" 76 2578 2604
)
"src/cli/CLIPager.ml" 79 2665 2677 "src/cli/CLIPager.ml" 81 2745 2764
call(
  tail
)
type(
  unit
)
"src/cli/CLIPager.ml" 73 2486 2494 "src/cli/CLIPager.ml" 81 2745 2764
type(
  unit
)
"src/cli/CLIPager.ml" 70 2418 2426 "src/cli/CLIPager.ml" 81 2745 2764
type(
  unit
)
"src/cli/CLIPager.ml" 66 2340 2346 "src/cli/CLIPager.ml" 82 2765 2774
type(
  unit
)
"src/cli/CLIPager.ml" 84 2776 2782 "src/cli/CLIPager.ml" 84 2776 2786
type(
  OASISTypes.host_filename option
)
"src/cli/CLIPager.ml" 86 2802 2810 "src/cli/CLIPager.ml" 86 2802 2817
type(
  (string -> unit, unit, string, unit) format4 -> string -> unit
)
ident(
  ext_ref BaseMessage.warning
)
"src/cli/CLIPager.ml" 86 2802 2818 "src/cli/CLIPager.ml" 86 2802 2822
type(
  (string -> unit, unit, string, unit) format4
)
"src/cli/CLIPager.ml" 86 2802 2823 "src/cli/CLIPager.ml" 86 2802 2866
type(
  string
)
"src/cli/CLIPager.ml" 86 2802 2810 "src/cli/CLIPager.ml" 86 2802 2866
call(
  stack
)
type(
  unit
)
"src/cli/CLIPager.ml" 87 2868 2876 "src/cli/CLIPager.ml" 87 2868 2896
type(
  out_channel -> Buffer.t -> unit
)
ident(
  ext_ref Buffer.output_buffer
)
"src/cli/CLIPager.ml" 87 2868 2897 "src/cli/CLIPager.ml" 87 2868 2903
type(
  out_channel
)
ident(
  ext_ref Pervasives.stdout
)
"src/cli/CLIPager.ml" 87 2868 2904 "src/cli/CLIPager.ml" 87 2868 2907
type(
  Buffer.t
)
ident(
  int_ref buf "src/cli/CLIPager.ml" 60 2223 2238 "src/cli/CLIPager.ml" 60 2223 2241
)
"src/cli/CLIPager.ml" 87 2868 2876 "src/cli/CLIPager.ml" 87 2868 2907
call(
  tail
)
type(
  unit
)
"src/cli/CLIPager.ml" 85 2790 2796 "src/cli/CLIPager.ml" 88 2908 2917
type(
  unit
)
"src/cli/CLIPager.ml" 64 2299 2301 "src/cli/CLIPager.ml" 88 2908 2917
type(
  unit
)
"src/cli/CLIPager.ml" 61 2250 2252 "src/cli/CLIPager.ml" 88 2908 2917
type(
  unit
)

APT Browse - Built by Thomas Orozco.