This file is indexed.

/usr/lib/ocaml/oasis/CLICommon.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/CLICommon.ml" 31 1749 1753 "src/cli/CLICommon.ml" 31 1749 1768
type(
  (unit ->
   ((string * Arg.spec * string) list * 'a) *
   (ctxt:'b -> OASISTypes.host_filename -> 'c)) ->
  unit -> ((string * Arg.spec * string) list * 'a) * (ctxt:'b -> 'c)
)
ident(
  def define_oasis_fn "src/cli/CLICommon.ml" 45 2045 2045 "src/cli/CLICommon.ml" 1 0 -1
)
"src/cli/CLICommon.ml" 31 1749 1769 "src/cli/CLICommon.ml" 31 1749 1770
type(
  unit ->
  ((string * Arg.spec * string) list * 'a) *
  (ctxt:'b -> OASISTypes.host_filename -> 'c)
)
ident(
  def f "src/cli/CLICommon.ml" 31 1749 1771 "src/cli/CLICommon.ml" 42 2007 2042
)
"src/cli/CLICommon.ml" 31 1749 1771 "src/cli/CLICommon.ml" 31 1749 1773
type(
  unit
)
"src/cli/CLICommon.ml" 32 1776 1782 "src/cli/CLICommon.ml" 32 1776 1790
type(
  OASISTypes.host_filename ref
)
ident(
  def oasis_fn "src/cli/CLICommon.ml" 33 1828 1830 "src/cli/CLICommon.ml" 42 2007 2042
)
"src/cli/CLICommon.ml" 32 1776 1793 "src/cli/CLICommon.ml" 32 1776 1796
type(
  OASISTypes.host_filename -> OASISTypes.host_filename ref
)
ident(
  ext_ref Pervasives.ref
)
"src/cli/CLICommon.ml" 32 1776 1797 "src/cli/CLICommon.ml" 32 1776 1824
type(
  OASISTypes.host_filename
)
ident(
  ext_ref OASISParse.default_oasis_fn
)
"src/cli/CLICommon.ml" 32 1776 1793 "src/cli/CLICommon.ml" 32 1776 1824
type(
  OASISTypes.host_filename ref
)
"src/cli/CLICommon.ml" 33 1828 1834 "src/cli/CLICommon.ml" 33 1828 1840
type(
  string * Arg.spec * string
)
ident(
  def specs' "src/cli/CLICommon.ml" 38 1924 1926 "src/cli/CLICommon.ml" 42 2007 2042
)
"src/cli/CLICommon.ml" 34 1843 1847 "src/cli/CLICommon.ml" 34 1843 1855
type(
  string
)
"src/cli/CLICommon.ml" 35 1857 1876 "src/cli/CLICommon.ml" 35 1857 1884
type(
  OASISTypes.host_filename ref
)
ident(
  int_ref oasis_fn "src/cli/CLICommon.ml" 32 1776 1782 "src/cli/CLICommon.ml" 32 1776 1790
)
"src/cli/CLICommon.ml" 35 1857 1861 "src/cli/CLICommon.ml" 35 1857 1884
type(
  Arg.spec
)
"src/cli/CLICommon.ml" 36 1886 1890 "src/cli/CLICommon.ml" 36 1886 1892
type(
  string -> string
)
ident(
  ext_ref OASISGettext.s_
)
"src/cli/CLICommon.ml" 36 1886 1893 "src/cli/CLICommon.ml" 36 1886 1917
type(
  string
)
"src/cli/CLICommon.ml" 36 1886 1890 "src/cli/CLICommon.ml" 36 1886 1917
call(
  stack
)
type(
  string
)
"src/cli/CLICommon.ml" 34 1843 1847 "src/cli/CLICommon.ml" 36 1886 1918
type(
  string * Arg.spec * string
)
"src/cli/CLICommon.ml" 38 1924 1930 "src/cli/CLICommon.ml" 38 1924 1934
type(
  (ctxt:'d -> OASISTypes.host_filename -> 'e) -> ctxt:'d -> 'e
)
ident(
  def wrap "src/cli/CLICommon.ml" 41 1972 1974 "src/cli/CLICommon.ml" 42 2007 2042
)
"src/cli/CLICommon.ml" 38 1924 1935 "src/cli/CLICommon.ml" 38 1924 1936
type(
  ctxt:'d -> OASISTypes.host_filename -> 'e
)
ident(
  def g "src/cli/CLICommon.ml" 38 1924 1937 "src/cli/CLICommon.ml" 39 1945 1966
)
"src/cli/CLICommon.ml" 38 1924 1938 "src/cli/CLICommon.ml" 38 1924 1942
type(
  'd
)
ident(
  def ctxt "src/cli/CLICommon.ml" 39 1945 1949 "src/cli/CLICommon.ml" 39 1945 1966
)
"src/cli/CLICommon.ml" 39 1945 1949 "src/cli/CLICommon.ml" 39 1945 1950
type(
  ctxt:'d -> OASISTypes.host_filename -> 'e
)
ident(
  int_ref g "src/cli/CLICommon.ml" 38 1924 1935 "src/cli/CLICommon.ml" 38 1924 1936
)
"src/cli/CLICommon.ml" 39 1945 1952 "src/cli/CLICommon.ml" 39 1945 1956
type(
  'd
)
ident(
  int_ref ctxt "src/cli/CLICommon.ml" 38 1924 1938 "src/cli/CLICommon.ml" 38 1924 1942
)
"src/cli/CLICommon.ml" 39 1945 1957 "src/cli/CLICommon.ml" 39 1945 1958
type(
  OASISTypes.host_filename ref -> OASISTypes.host_filename
)
ident(
  ext_ref Pervasives.( ! )
)
"src/cli/CLICommon.ml" 39 1945 1958 "src/cli/CLICommon.ml" 39 1945 1966
type(
  OASISTypes.host_filename ref
)
ident(
  int_ref oasis_fn "src/cli/CLICommon.ml" 32 1776 1782 "src/cli/CLICommon.ml" 32 1776 1790
)
"src/cli/CLICommon.ml" 39 1945 1957 "src/cli/CLICommon.ml" 39 1945 1966
type(
  OASISTypes.host_filename
)
"src/cli/CLICommon.ml" 39 1945 1949 "src/cli/CLICommon.ml" 39 1945 1966
call(
  tail
)
type(
  'e
)
"src/cli/CLICommon.ml" 41 1972 1979 "src/cli/CLICommon.ml" 41 1972 1984
type(
  (string * Arg.spec * string) list
)
ident(
  def specs "src/cli/CLICommon.ml" 42 2007 2009 "src/cli/CLICommon.ml" 42 2007 2042
)
"src/cli/CLICommon.ml" 41 1972 1986 "src/cli/CLICommon.ml" 41 1972 1990
type(
  'a
)
ident(
  def anon "src/cli/CLICommon.ml" 42 2007 2009 "src/cli/CLICommon.ml" 42 2007 2042
)
"src/cli/CLICommon.ml" 41 1972 1978 "src/cli/CLICommon.ml" 41 1972 1991
type(
  (string * Arg.spec * string) list * 'a
)
"src/cli/CLICommon.ml" 41 1972 1993 "src/cli/CLICommon.ml" 41 1972 1996
type(
  ctxt:'b -> OASISTypes.host_filename -> 'c
)
ident(
  def run "src/cli/CLICommon.ml" 42 2007 2009 "src/cli/CLICommon.ml" 42 2007 2042
)
"src/cli/CLICommon.ml" 41 1972 1978 "src/cli/CLICommon.ml" 41 1972 1996
type(
  ((string * Arg.spec * string) list * 'a) *
  (ctxt:'b -> OASISTypes.host_filename -> 'c)
)
"src/cli/CLICommon.ml" 41 1972 1999 "src/cli/CLICommon.ml" 41 1972 2000
type(
  unit ->
  ((string * Arg.spec * string) list * 'a) *
  (ctxt:'b -> OASISTypes.host_filename -> 'c)
)
ident(
  int_ref f "src/cli/CLICommon.ml" 31 1749 1769 "src/cli/CLICommon.ml" 31 1749 1770
)
"src/cli/CLICommon.ml" 41 1972 2001 "src/cli/CLICommon.ml" 41 1972 2003
type(
  unit
)
"src/cli/CLICommon.ml" 41 1972 1999 "src/cli/CLICommon.ml" 41 1972 2003
call(
  stack
)
type(
  ((string * Arg.spec * string) list * 'a) *
  (ctxt:'b -> OASISTypes.host_filename -> 'c)
)
"src/cli/CLICommon.ml" 42 2007 2010 "src/cli/CLICommon.ml" 42 2007 2016
type(
  string * Arg.spec * string
)
ident(
  int_ref specs' "src/cli/CLICommon.ml" 33 1828 1834 "src/cli/CLICommon.ml" 33 1828 1840
)
"src/cli/CLICommon.ml" 42 2007 2020 "src/cli/CLICommon.ml" 42 2007 2025
type(
  (string * Arg.spec * string) list
)
ident(
  int_ref specs "src/cli/CLICommon.ml" 41 1972 1979 "src/cli/CLICommon.ml" 41 1972 1984
)
"src/cli/CLICommon.ml" 42 2007 2010 "src/cli/CLICommon.ml" 42 2007 2025
type(
  (string * Arg.spec * string) list
)
"src/cli/CLICommon.ml" 42 2007 2027 "src/cli/CLICommon.ml" 42 2007 2031
type(
  'a
)
ident(
  int_ref anon "src/cli/CLICommon.ml" 41 1972 1986 "src/cli/CLICommon.ml" 41 1972 1990
)
"src/cli/CLICommon.ml" 42 2007 2009 "src/cli/CLICommon.ml" 42 2007 2032
type(
  (string * Arg.spec * string) list * 'a
)
"src/cli/CLICommon.ml" 42 2007 2034 "src/cli/CLICommon.ml" 42 2007 2038
type(
  (ctxt:'b -> OASISTypes.host_filename -> 'c) -> ctxt:'b -> 'c
)
ident(
  int_ref wrap "src/cli/CLICommon.ml" 38 1924 1930 "src/cli/CLICommon.ml" 38 1924 1934
)
"src/cli/CLICommon.ml" 42 2007 2039 "src/cli/CLICommon.ml" 42 2007 2042
type(
  ctxt:'b -> OASISTypes.host_filename -> 'c
)
ident(
  int_ref run "src/cli/CLICommon.ml" 41 1972 1993 "src/cli/CLICommon.ml" 41 1972 1996
)
"src/cli/CLICommon.ml" 42 2007 2034 "src/cli/CLICommon.ml" 42 2007 2042
call(
  stack
)
type(
  ctxt:'b -> 'c
)
"src/cli/CLICommon.ml" 42 2007 2009 "src/cli/CLICommon.ml" 42 2007 2042
type(
  ((string * Arg.spec * string) list * 'a) * (ctxt:'b -> 'c)
)
"src/cli/CLICommon.ml" 41 1972 1974 "src/cli/CLICommon.ml" 42 2007 2042
type(
  ((string * Arg.spec * string) list * 'a) * (ctxt:'b -> 'c)
)
"src/cli/CLICommon.ml" 38 1924 1926 "src/cli/CLICommon.ml" 42 2007 2042
type(
  ((string * Arg.spec * string) list * 'a) * (ctxt:'b -> 'c)
)
"src/cli/CLICommon.ml" 33 1828 1830 "src/cli/CLICommon.ml" 42 2007 2042
type(
  ((string * Arg.spec * string) list * 'a) * (ctxt:'b -> 'c)
)
"src/cli/CLICommon.ml" 32 1776 1778 "src/cli/CLICommon.ml" 42 2007 2042
type(
  ((string * Arg.spec * string) list * 'a) * (ctxt:'b -> 'c)
)
"src/cli/CLICommon.ml" 45 2045 2049 "src/cli/CLICommon.ml" 45 2045 2063
type(
  (unit ->
   ((string * Arg.spec * string) list * 'a) *
   (ctxt:OASISContext.t ->
    OASISTypes.host_filename -> OASISTypes.package -> 'b)) ->
  unit ->
  ((string * Arg.spec * string) list * 'a) * (ctxt:OASISContext.t -> 'b)
)
ident(
  def parse_oasis_fn "src/cli/CLICommon.ml" 53 2256 2287 "src/cli/CLICommon.ml" 1 0 -1
)
"src/cli/CLICommon.ml" 45 2045 2064 "src/cli/CLICommon.ml" 45 2045 2065
type(
  unit ->
  ((string * Arg.spec * string) list * 'a) *
  (ctxt:OASISContext.t ->
   OASISTypes.host_filename -> OASISTypes.package -> 'b)
)
ident(
  def f "src/cli/CLICommon.ml" 46 2068 2070 "src/cli/CLICommon.ml" 53 2256 2287
)
"src/cli/CLICommon.ml" 46 2068 2070 "src/cli/CLICommon.ml" 46 2068 2085
type(
  (unit ->
   ((string * Arg.spec * string) list * 'a) *
   (ctxt:OASISContext.t -> OASISTypes.host_filename -> 'b)) ->
  unit ->
  ((string * Arg.spec * string) list * 'a) * (ctxt:OASISContext.t -> 'b)
)
ident(
  int_ref define_oasis_fn "src/cli/CLICommon.ml" 31 1749 1753 "src/cli/CLICommon.ml" 31 1749 1768
)
"src/cli/CLICommon.ml" 47 2086 2095 "src/cli/CLICommon.ml" 47 2086 2097
type(
  unit
)
"src/cli/CLICommon.ml" 48 2101 2112 "src/cli/CLICommon.ml" 48 2101 2116
type(
  (ctxt:OASISContext.t ->
   OASISTypes.host_filename -> OASISTypes.package -> 'c) ->
  ctxt:OASISContext.t -> OASISTypes.host_filename -> 'c
)
ident(
  def wrap "src/cli/CLICommon.ml" 52 2216 2223 "src/cli/CLICommon.ml" 53 2256 2286
)
"src/cli/CLICommon.ml" 48 2101 2117 "src/cli/CLICommon.ml" 48 2101 2118
type(
  ctxt:OASISContext.t -> OASISTypes.host_filename -> OASISTypes.package -> 'c
)
ident(
  def g "src/cli/CLICommon.ml" 48 2101 2119 "src/cli/CLICommon.ml" 50 2182 2205
)
"src/cli/CLICommon.ml" 48 2101 2120 "src/cli/CLICommon.ml" 48 2101 2124
type(
  OASISContext.t
)
ident(
  def ctxt "src/cli/CLICommon.ml" 48 2101 2125 "src/cli/CLICommon.ml" 50 2182 2205
)
"src/cli/CLICommon.ml" 48 2101 2125 "src/cli/CLICommon.ml" 48 2101 2127
type(
  OASISTypes.host_filename
)
ident(
  def fn "src/cli/CLICommon.ml" 49 2130 2139 "src/cli/CLICommon.ml" 50 2182 2205
)
"src/cli/CLICommon.ml" 49 2130 2143 "src/cli/CLICommon.ml" 49 2130 2146
type(
  OASISTypes.package
)
ident(
  def pkg "src/cli/CLICommon.ml" 50 2182 2191 "src/cli/CLICommon.ml" 50 2182 2205
)
"src/cli/CLICommon.ml" 49 2130 2149 "src/cli/CLICommon.ml" 49 2130 2169
type(
  ctxt:OASISContext.t -> OASISTypes.host_filename -> OASISTypes.package
)
ident(
  ext_ref OASISParse.from_file
)
"src/cli/CLICommon.ml" 49 2130 2171 "src/cli/CLICommon.ml" 49 2130 2175
type(
  OASISContext.t
)
ident(
  int_ref ctxt "src/cli/CLICommon.ml" 48 2101 2120 "src/cli/CLICommon.ml" 48 2101 2124
)
"src/cli/CLICommon.ml" 49 2130 2176 "src/cli/CLICommon.ml" 49 2130 2178
type(
  OASISTypes.host_filename
)
ident(
  int_ref fn "src/cli/CLICommon.ml" 48 2101 2125 "src/cli/CLICommon.ml" 48 2101 2127
)
"src/cli/CLICommon.ml" 49 2130 2149 "src/cli/CLICommon.ml" 49 2130 2178
call(
  stack
)
type(
  OASISTypes.package
)
"src/cli/CLICommon.ml" 50 2182 2191 "src/cli/CLICommon.ml" 50 2182 2192
type(
  ctxt:OASISContext.t -> OASISTypes.host_filename -> OASISTypes.package -> 'c
)
ident(
  int_ref g "src/cli/CLICommon.ml" 48 2101 2117 "src/cli/CLICommon.ml" 48 2101 2118
)
"src/cli/CLICommon.ml" 50 2182 2194 "src/cli/CLICommon.ml" 50 2182 2198
type(
  OASISContext.t
)
ident(
  int_ref ctxt "src/cli/CLICommon.ml" 48 2101 2120 "src/cli/CLICommon.ml" 48 2101 2124
)
"src/cli/CLICommon.ml" 50 2182 2199 "src/cli/CLICommon.ml" 50 2182 2201
type(
  OASISTypes.host_filename
)
ident(
  int_ref fn "src/cli/CLICommon.ml" 48 2101 2125 "src/cli/CLICommon.ml" 48 2101 2127
)
"src/cli/CLICommon.ml" 50 2182 2202 "src/cli/CLICommon.ml" 50 2182 2205
type(
  OASISTypes.package
)
ident(
  int_ref pkg "src/cli/CLICommon.ml" 49 2130 2143 "src/cli/CLICommon.ml" 49 2130 2146
)
"src/cli/CLICommon.ml" 50 2182 2191 "src/cli/CLICommon.ml" 50 2182 2205
call(
  tail
)
type(
  'c
)
"src/cli/CLICommon.ml" 49 2130 2139 "src/cli/CLICommon.ml" 50 2182 2205
type(
  'c
)
"src/cli/CLICommon.ml" 52 2216 2228 "src/cli/CLICommon.ml" 52 2216 2233
type(
  (string * Arg.spec * string) list
)
ident(
  def specs "src/cli/CLICommon.ml" 53 2256 2263 "src/cli/CLICommon.ml" 53 2256 2286
)
"src/cli/CLICommon.ml" 52 2216 2235 "src/cli/CLICommon.ml" 52 2216 2239
type(
  'a
)
ident(
  def anon "src/cli/CLICommon.ml" 53 2256 2263 "src/cli/CLICommon.ml" 53 2256 2286
)
"src/cli/CLICommon.ml" 52 2216 2227 "src/cli/CLICommon.ml" 52 2216 2240
type(
  (string * Arg.spec * string) list * 'a
)
"src/cli/CLICommon.ml" 52 2216 2242 "src/cli/CLICommon.ml" 52 2216 2245
type(
  ctxt:OASISContext.t -> OASISTypes.host_filename -> OASISTypes.package -> 'b
)
ident(
  def run "src/cli/CLICommon.ml" 53 2256 2263 "src/cli/CLICommon.ml" 53 2256 2286
)
"src/cli/CLICommon.ml" 52 2216 2227 "src/cli/CLICommon.ml" 52 2216 2245
type(
  ((string * Arg.spec * string) list * 'a) *
  (ctxt:OASISContext.t ->
   OASISTypes.host_filename -> OASISTypes.package -> 'b)
)
"src/cli/CLICommon.ml" 52 2216 2248 "src/cli/CLICommon.ml" 52 2216 2249
type(
  unit ->
  ((string * Arg.spec * string) list * 'a) *
  (ctxt:OASISContext.t ->
   OASISTypes.host_filename -> OASISTypes.package -> 'b)
)
ident(
  int_ref f "src/cli/CLICommon.ml" 45 2045 2064 "src/cli/CLICommon.ml" 45 2045 2065
)
"src/cli/CLICommon.ml" 52 2216 2250 "src/cli/CLICommon.ml" 52 2216 2252
type(
  unit
)
"src/cli/CLICommon.ml" 52 2216 2248 "src/cli/CLICommon.ml" 52 2216 2252
call(
  stack
)
type(
  ((string * Arg.spec * string) list * 'a) *
  (ctxt:OASISContext.t ->
   OASISTypes.host_filename -> OASISTypes.package -> 'b)
)
"src/cli/CLICommon.ml" 53 2256 2264 "src/cli/CLICommon.ml" 53 2256 2269
type(
  (string * Arg.spec * string) list
)
ident(
  int_ref specs "src/cli/CLICommon.ml" 52 2216 2228 "src/cli/CLICommon.ml" 52 2216 2233
)
"src/cli/CLICommon.ml" 53 2256 2271 "src/cli/CLICommon.ml" 53 2256 2275
type(
  'a
)
ident(
  int_ref anon "src/cli/CLICommon.ml" 52 2216 2235 "src/cli/CLICommon.ml" 52 2216 2239
)
"src/cli/CLICommon.ml" 53 2256 2263 "src/cli/CLICommon.ml" 53 2256 2276
type(
  (string * Arg.spec * string) list * 'a
)
"src/cli/CLICommon.ml" 53 2256 2278 "src/cli/CLICommon.ml" 53 2256 2282
type(
  (ctxt:OASISContext.t ->
   OASISTypes.host_filename -> OASISTypes.package -> 'b) ->
  ctxt:OASISContext.t -> OASISTypes.host_filename -> 'b
)
ident(
  int_ref wrap "src/cli/CLICommon.ml" 48 2101 2112 "src/cli/CLICommon.ml" 48 2101 2116
)
"src/cli/CLICommon.ml" 53 2256 2283 "src/cli/CLICommon.ml" 53 2256 2286
type(
  ctxt:OASISContext.t -> OASISTypes.host_filename -> OASISTypes.package -> 'b
)
ident(
  int_ref run "src/cli/CLICommon.ml" 52 2216 2242 "src/cli/CLICommon.ml" 52 2216 2245
)
"src/cli/CLICommon.ml" 53 2256 2278 "src/cli/CLICommon.ml" 53 2256 2286
call(
  stack
)
type(
  ctxt:OASISContext.t -> OASISTypes.host_filename -> 'b
)
"src/cli/CLICommon.ml" 53 2256 2263 "src/cli/CLICommon.ml" 53 2256 2286
type(
  ((string * Arg.spec * string) list * 'a) *
  (ctxt:OASISContext.t -> OASISTypes.host_filename -> 'b)
)
"src/cli/CLICommon.ml" 52 2216 2223 "src/cli/CLICommon.ml" 53 2256 2286
type(
  ((string * Arg.spec * string) list * 'a) *
  (ctxt:OASISContext.t -> OASISTypes.host_filename -> 'b)
)
"src/cli/CLICommon.ml" 48 2101 2108 "src/cli/CLICommon.ml" 53 2256 2286
type(
  ((string * Arg.spec * string) list * 'a) *
  (ctxt:OASISContext.t -> OASISTypes.host_filename -> 'b)
)
"src/cli/CLICommon.ml" 47 2086 2090 "src/cli/CLICommon.ml" 53 2256 2287
type(
  unit ->
  ((string * Arg.spec * string) list * 'a) *
  (ctxt:OASISContext.t -> OASISTypes.host_filename -> 'b)
)
"src/cli/CLICommon.ml" 46 2068 2070 "src/cli/CLICommon.ml" 53 2256 2287
call(
  tail
)
type(
  unit ->
  ((string * Arg.spec * string) list * 'a) * (ctxt:OASISContext.t -> 'b)
)