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

This file is indexed.

/usr/lib/ocaml/oasis/OASISExecutable.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
"src/oasis/OASISExecutable.ml" 27 1721 1725 "src/oasis/OASISExecutable.ml" 27 1721 1737
type(
  OASISTypes.common_section * OASISTypes.build_section *
  OASISTypes.executable ->
  (unit -> bool) ->
  (unit -> string) ->
  (unit -> string) -> OASISUnixPath.unix_filename * string option
)
ident(
  def unix_exec_is "src/oasis/OASISExecutable.ml" 55 2285 2285 "src/oasis/OASISExecutable.ml" 1 0 -1
)
"src/oasis/OASISExecutable.ml" 27 1721 1739 "src/oasis/OASISExecutable.ml" 27 1721 1741
type(
  OASISTypes.common_section
)
ident(
  def cs "src/oasis/OASISExecutable.ml" 27 1721 1753 "src/oasis/OASISExecutable.ml" 49 2255 2263
)
"src/oasis/OASISExecutable.ml" 27 1721 1743 "src/oasis/OASISExecutable.ml" 27 1721 1745
type(
  OASISTypes.build_section
)
ident(
  def bs "src/oasis/OASISExecutable.ml" 27 1721 1753 "src/oasis/OASISExecutable.ml" 49 2255 2263
)
"src/oasis/OASISExecutable.ml" 27 1721 1747 "src/oasis/OASISExecutable.ml" 27 1721 1751
type(
  OASISTypes.executable
)
ident(
  def exec "src/oasis/OASISExecutable.ml" 27 1721 1753 "src/oasis/OASISExecutable.ml" 49 2255 2263
)
"src/oasis/OASISExecutable.ml" 27 1721 1738 "src/oasis/OASISExecutable.ml" 27 1721 1752
type(
  OASISTypes.common_section * OASISTypes.build_section *
  OASISTypes.executable
)
"src/oasis/OASISExecutable.ml" 27 1721 1753 "src/oasis/OASISExecutable.ml" 27 1721 1762
type(
  unit -> bool
)
ident(
  def is_native "src/oasis/OASISExecutable.ml" 27 1721 1763 "src/oasis/OASISExecutable.ml" 49 2255 2263
)
"src/oasis/OASISExecutable.ml" 27 1721 1763 "src/oasis/OASISExecutable.ml" 27 1721 1770
type(
  unit -> string
)
ident(
  def ext_dll "src/oasis/OASISExecutable.ml" 27 1721 1771 "src/oasis/OASISExecutable.ml" 49 2255 2263
)
"src/oasis/OASISExecutable.ml" 27 1721 1771 "src/oasis/OASISExecutable.ml" 27 1721 1785
type(
  unit -> string
)
ident(
  def suffix_program "src/oasis/OASISExecutable.ml" 28 1788 1790 "src/oasis/OASISExecutable.ml" 49 2255 2263
)
"src/oasis/OASISExecutable.ml" 28 1788 1794 "src/oasis/OASISExecutable.ml" 28 1788 1797
type(
  OASISUnixPath.unix_filename
)
ident(
  def dir "src/oasis/OASISExecutable.ml" 33 1895 1897 "src/oasis/OASISExecutable.ml" 49 2255 2263
)
"src/oasis/OASISExecutable.ml" 29 1800 1804 "src/oasis/OASISExecutable.ml" 29 1800 1824
type(
  OASISUnixPath.unix_filename ->
  OASISUnixPath.unix_filename -> OASISUnixPath.unix_filename
)
ident(
  ext_ref OASISUnixPath.concat
)
"src/oasis/OASISExecutable.ml" 30 1825 1831 "src/oasis/OASISExecutable.ml" 30 1825 1833
type(
  OASISTypes.build_section
)
ident(
  int_ref bs "src/oasis/OASISExecutable.ml" 27 1721 1743 "src/oasis/OASISExecutable.ml" 27 1721 1745
)
"src/oasis/OASISExecutable.ml" 30 1825 1831 "src/oasis/OASISExecutable.ml" 30 1825 1841
type(
  OASISTypes.unix_dirname
)
"src/oasis/OASISExecutable.ml" 31 1842 1849 "src/oasis/OASISExecutable.ml" 31 1842 1870
type(
  OASISUnixPath.unix_filename -> OASISUnixPath.unix_filename
)
ident(
  ext_ref OASISUnixPath.dirname
)
"src/oasis/OASISExecutable.ml" 31 1842 1871 "src/oasis/OASISExecutable.ml" 31 1842 1875
type(
  OASISTypes.executable
)
ident(
  int_ref exec "src/oasis/OASISExecutable.ml" 27 1721 1747 "src/oasis/OASISExecutable.ml" 27 1721 1751
)
"src/oasis/OASISExecutable.ml" 31 1842 1871 "src/oasis/OASISExecutable.ml" 31 1842 1888
type(
  OASISTypes.unix_filename
)
"src/oasis/OASISExecutable.ml" 31 1842 1848 "src/oasis/OASISExecutable.ml" 31 1842 1889
call(
  stack
)
type(
  OASISUnixPath.unix_filename
)
"src/oasis/OASISExecutable.ml" 29 1800 1804 "src/oasis/OASISExecutable.ml" 31 1842 1889
call(
  stack
)
type(
  OASISUnixPath.unix_filename
)
"src/oasis/OASISExecutable.ml" 33 1895 1901 "src/oasis/OASISExecutable.ml" 33 1895 1915
type(
  bool
)
ident(
  def is_native_exec "src/oasis/OASISExecutable.ml" 40 2035 2037 "src/oasis/OASISExecutable.ml" 49 2255 2263
)
"src/oasis/OASISExecutable.ml" 34 1918 1928 "src/oasis/OASISExecutable.ml" 34 1918 1930
type(
  OASISTypes.build_section
)
ident(
  int_ref bs "src/oasis/OASISExecutable.ml" 27 1721 1743 "src/oasis/OASISExecutable.ml" 27 1721 1745
)
"src/oasis/OASISExecutable.ml" 34 1918 1928 "src/oasis/OASISExecutable.ml" 34 1918 1949
type(
  OASISTypes.compiled_object
)
"src/oasis/OASISExecutable.ml" 35 1955 1963 "src/oasis/OASISExecutable.ml" 35 1955 1969
type(
  OASISTypes.compiled_object
)
"src/oasis/OASISExecutable.ml" 35 1955 1973 "src/oasis/OASISExecutable.ml" 35 1955 1977
type(
  bool
)
"src/oasis/OASISExecutable.ml" 36 1978 1986 "src/oasis/OASISExecutable.ml" 36 1978 1990
type(
  OASISTypes.compiled_object
)
"src/oasis/OASISExecutable.ml" 36 1978 1994 "src/oasis/OASISExecutable.ml" 36 1978 2003
type(
  unit -> bool
)
ident(
  int_ref is_native "src/oasis/OASISExecutable.ml" 27 1721 1753 "src/oasis/OASISExecutable.ml" 27 1721 1762
)
"src/oasis/OASISExecutable.ml" 36 1978 2004 "src/oasis/OASISExecutable.ml" 36 1978 2006
type(
  unit
)
"src/oasis/OASISExecutable.ml" 36 1978 1994 "src/oasis/OASISExecutable.ml" 36 1978 2006
call(
  stack
)
type(
  bool
)
"src/oasis/OASISExecutable.ml" 37 2007 2015 "src/oasis/OASISExecutable.ml" 37 2007 2019
type(
  OASISTypes.compiled_object
)
"src/oasis/OASISExecutable.ml" 37 2007 2023 "src/oasis/OASISExecutable.ml" 37 2007 2028
type(
  bool
)
"src/oasis/OASISExecutable.ml" 34 1918 1922 "src/oasis/OASISExecutable.ml" 37 2007 2028
type(
  bool
)
"src/oasis/OASISExecutable.ml" 40 2035 2037 "src/oasis/OASISExecutable.ml" 40 2035 2057
type(
  OASISUnixPath.unix_filename ->
  OASISUnixPath.unix_filename -> OASISUnixPath.unix_filename
)
ident(
  ext_ref OASISUnixPath.concat
)
"src/oasis/OASISExecutable.ml" 41 2058 2062 "src/oasis/OASISExecutable.ml" 41 2058 2065
type(
  OASISUnixPath.unix_filename
)
ident(
  int_ref dir "src/oasis/OASISExecutable.ml" 28 1788 1794 "src/oasis/OASISExecutable.ml" 28 1788 1797
)
"src/oasis/OASISExecutable.ml" 42 2066 2071 "src/oasis/OASISExecutable.ml" 42 2066 2073
type(
  OASISTypes.common_section
)
ident(
  int_ref cs "src/oasis/OASISExecutable.ml" 27 1721 1739 "src/oasis/OASISExecutable.ml" 27 1721 1741
)
"src/oasis/OASISExecutable.ml" 42 2066 2071 "src/oasis/OASISExecutable.ml" 42 2066 2081
type(
  OASISTypes.name
)
"src/oasis/OASISExecutable.ml" 42 2066 2081 "src/oasis/OASISExecutable.ml" 42 2066 2082
type(
  OASISTypes.name -> string -> OASISUnixPath.unix_filename
)
ident(
  ext_ref Pervasives.( ^ )
)
"src/oasis/OASISExecutable.ml" 42 2066 2083 "src/oasis/OASISExecutable.ml" 42 2066 2097
type(
  unit -> string
)
ident(
  int_ref suffix_program "src/oasis/OASISExecutable.ml" 27 1721 1771 "src/oasis/OASISExecutable.ml" 27 1721 1785
)
"src/oasis/OASISExecutable.ml" 42 2066 2098 "src/oasis/OASISExecutable.ml" 42 2066 2100
type(
  unit
)
"src/oasis/OASISExecutable.ml" 42 2066 2082 "src/oasis/OASISExecutable.ml" 42 2066 2101
call(
  stack
)
type(
  string
)
"src/oasis/OASISExecutable.ml" 42 2066 2070 "src/oasis/OASISExecutable.ml" 42 2066 2102
call(
  stack
)
type(
  OASISUnixPath.unix_filename
)
"src/oasis/OASISExecutable.ml" 40 2035 2037 "src/oasis/OASISExecutable.ml" 42 2066 2102
call(
  stack
)
type(
  OASISUnixPath.unix_filename
)
"src/oasis/OASISExecutable.ml" 44 2105 2110 "src/oasis/OASISExecutable.ml" 44 2105 2113
type(
  bool -> bool
)
ident(
  ext_ref Pervasives.not
)
"src/oasis/OASISExecutable.ml" 44 2105 2114 "src/oasis/OASISExecutable.ml" 44 2105 2128
type(
  bool
)
ident(
  int_ref is_native_exec "src/oasis/OASISExecutable.ml" 33 1895 1901 "src/oasis/OASISExecutable.ml" 33 1895 1915
)
"src/oasis/OASISExecutable.ml" 44 2105 2110 "src/oasis/OASISExecutable.ml" 44 2105 2128
type(
  bool
)
"src/oasis/OASISExecutable.ml" 44 2105 2129 "src/oasis/OASISExecutable.ml" 44 2105 2131
type(
  bool -> bool -> bool
)
ident(
  ext_ref Pervasives.( && )
)
"src/oasis/OASISExecutable.ml" 45 2132 2137 "src/oasis/OASISExecutable.ml" 45 2132 2140
type(
  bool -> bool
)
ident(
  ext_ref Pervasives.not
)
"src/oasis/OASISExecutable.ml" 45 2132 2141 "src/oasis/OASISExecutable.ml" 45 2132 2145
type(
  OASISTypes.executable
)
ident(
  int_ref exec "src/oasis/OASISExecutable.ml" 27 1721 1747 "src/oasis/OASISExecutable.ml" 27 1721 1751
)
"src/oasis/OASISExecutable.ml" 45 2132 2141 "src/oasis/OASISExecutable.ml" 45 2132 2157
type(
  bool
)
"src/oasis/OASISExecutable.ml" 45 2132 2137 "src/oasis/OASISExecutable.ml" 45 2132 2157
type(
  bool
)
"src/oasis/OASISExecutable.ml" 45 2132 2158 "src/oasis/OASISExecutable.ml" 45 2132 2160
type(
  bool -> bool -> bool
)
ident(
  ext_ref Pervasives.( && )
)
"src/oasis/OASISExecutable.ml" 46 2161 2166 "src/oasis/OASISExecutable.ml" 46 2161 2168
type(
  OASISTypes.build_section
)
ident(
  int_ref bs "src/oasis/OASISExecutable.ml" 27 1721 1743 "src/oasis/OASISExecutable.ml" 27 1721 1745
)
"src/oasis/OASISExecutable.ml" 46 2161 2166 "src/oasis/OASISExecutable.ml" 46 2161 2181
type(
  OASISTypes.unix_filename list
)
"src/oasis/OASISExecutable.ml" 46 2161 2182 "src/oasis/OASISExecutable.ml" 46 2161 2184
type(
  OASISTypes.unix_filename list -> OASISTypes.unix_filename list -> bool
)
ident(
  ext_ref Pervasives.( <> )
)
"src/oasis/OASISExecutable.ml" 46 2161 2185 "src/oasis/OASISExecutable.ml" 46 2161 2187
type(
  OASISTypes.unix_filename list
)
"src/oasis/OASISExecutable.ml" 46 2161 2166 "src/oasis/OASISExecutable.ml" 46 2161 2187
type(
  bool
)
"src/oasis/OASISExecutable.ml" 45 2132 2137 "src/oasis/OASISExecutable.ml" 46 2161 2187
type(
  bool
)
"src/oasis/OASISExecutable.ml" 44 2105 2110 "src/oasis/OASISExecutable.ml" 46 2161 2187
type(
  bool
)
"src/oasis/OASISExecutable.ml" 47 2193 2203 "src/oasis/OASISExecutable.ml" 47 2193 2206
type(
  OASISUnixPath.unix_filename
)
ident(
  int_ref dir "src/oasis/OASISExecutable.ml" 28 1788 1794 "src/oasis/OASISExecutable.ml" 28 1788 1797
)
"src/oasis/OASISExecutable.ml" 47 2193 2206 "src/oasis/OASISExecutable.ml" 47 2193 2207
type(
  OASISUnixPath.unix_filename -> string -> string
)
ident(
  ext_ref Pervasives.( ^ )
)
"src/oasis/OASISExecutable.ml" 47 2193 2207 "src/oasis/OASISExecutable.ml" 47 2193 2213
type(
  string
)
"src/oasis/OASISExecutable.ml" 47 2193 2213 "src/oasis/OASISExecutable.ml" 47 2193 2214
type(
  string -> string -> string
)
ident(
  ext_ref Pervasives.( ^ )
)
"src/oasis/OASISExecutable.ml" 47 2193 2214 "src/oasis/OASISExecutable.ml" 47 2193 2216
type(
  OASISTypes.common_section
)
ident(
  int_ref cs "src/oasis/OASISExecutable.ml" 27 1721 1739 "src/oasis/OASISExecutable.ml" 27 1721 1741
)
"src/oasis/OASISExecutable.ml" 47 2193 2214 "src/oasis/OASISExecutable.ml" 47 2193 2224
type(
  OASISTypes.name
)
"src/oasis/OASISExecutable.ml" 47 2193 2224 "src/oasis/OASISExecutable.ml" 47 2193 2225
type(
  OASISTypes.name -> string -> string
)
ident(
  ext_ref Pervasives.( ^ )
)
"src/oasis/OASISExecutable.ml" 47 2193 2225 "src/oasis/OASISExecutable.ml" 47 2193 2233
type(
  string
)
"src/oasis/OASISExecutable.ml" 47 2193 2233 "src/oasis/OASISExecutable.ml" 47 2193 2234
type(
  string -> string -> string
)
ident(
  ext_ref Pervasives.( ^ )
)
"src/oasis/OASISExecutable.ml" 47 2193 2235 "src/oasis/OASISExecutable.ml" 47 2193 2242
type(
  unit -> string
)
ident(
  int_ref ext_dll "src/oasis/OASISExecutable.ml" 27 1721 1763 "src/oasis/OASISExecutable.ml" 27 1721 1770
)
"src/oasis/OASISExecutable.ml" 47 2193 2243 "src/oasis/OASISExecutable.ml" 47 2193 2245
type(
  unit
)
"src/oasis/OASISExecutable.ml" 47 2193 2234 "src/oasis/OASISExecutable.ml" 47 2193 2246
call(
  stack
)
type(
  string
)
"src/oasis/OASISExecutable.ml" 47 2193 2225 "src/oasis/OASISExecutable.ml" 47 2193 2246
call(
  stack
)
type(
  string
)
"src/oasis/OASISExecutable.ml" 47 2193 2214 "src/oasis/OASISExecutable.ml" 47 2193 2246
call(
  stack
)
type(
  string
)
"src/oasis/OASISExecutable.ml" 47 2193 2207 "src/oasis/OASISExecutable.ml" 47 2193 2246
call(
  stack
)
type(
  string
)
"src/oasis/OASISExecutable.ml" 47 2193 2202 "src/oasis/OASISExecutable.ml" 47 2193 2247
call(
  stack
)
type(
  string
)
"src/oasis/OASISExecutable.ml" 47 2193 2197 "src/oasis/OASISExecutable.ml" 47 2193 2247
type(
  string option
)
"src/oasis/OASISExecutable.ml" 49 2255 2259 "src/oasis/OASISExecutable.ml" 49 2255 2263
type(
  string option
)
"src/oasis/OASISExecutable.ml" 44 2105 2107 "src/oasis/OASISExecutable.ml" 49 2255 2263
type(
  string option
)
"src/oasis/OASISExecutable.ml" 40 2035 2037 "src/oasis/OASISExecutable.ml" 49 2255 2263
type(
  OASISUnixPath.unix_filename * string option
)
"src/oasis/OASISExecutable.ml" 33 1895 1897 "src/oasis/OASISExecutable.ml" 49 2255 2263
type(
  OASISUnixPath.unix_filename * string option
)
"src/oasis/OASISExecutable.ml" 28 1788 1790 "src/oasis/OASISExecutable.ml" 49 2255 2263
type(
  OASISUnixPath.unix_filename * string option
)
"src/oasis/OASISExecutable.ml" 55 2285 2289 "src/oasis/OASISExecutable.ml" 55 2285 2295
type(
  (OASISTypes.common_section * OASISTypes.build_section *
   OASISTypes.executable)
  OASISSchema_intern.t
)
ident(
  def schema "src/oasis/OASISExecutable.ml" 55 2285 2327 "src/oasis/OASISExecutable.ml" 1 0 -1
)
"src/oasis/OASISExecutable.ml" 55 2285 2298 "src/oasis/OASISExecutable.ml" 55 2285 2327
type(
  (OASISTypes.common_section * OASISTypes.build_section *
   OASISTypes.executable)
  OASISSchema_intern.t
)
ident(
  ext_ref OASISExecutable_intern.schema
)

APT Browse - Built by Thomas Orozco.