libderiving-ocsigen-ocaml-dev 0.7.1-1 / usr / lib / ocaml / deriving / deriving_Eq.annot

This file is indexed.

/usr/lib/ocaml/deriving/deriving_Eq.annot is in libderiving-ocsigen-ocaml-dev 0.7.1-1.

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
"lib/deriving_Eq.ml" 16 290 296 "lib/deriving_Eq.ml" 16 290 298
type(
  'a -> 'a -> bool
)
ident(
  def eq "lib/deriving_Eq.ml" 16 290 304 "lib/deriving_Eq.ml" 17 305 308
)
"lib/deriving_Eq.ml" 16 290 301 "lib/deriving_Eq.ml" 16 290 304
type(
  'a -> 'a -> bool
)
ident(
  ext_ref Pervasives.( = )
)
"lib/deriving_Eq.ml" 23 397 403 "lib/deriving_Eq.ml" 23 397 405
type(
  'a -> 'a -> bool
)
ident(
  def eq "lib/deriving_Eq.ml" 23 397 412 "lib/deriving_Eq.ml" 24 413 416
)
"lib/deriving_Eq.ml" 23 397 408 "lib/deriving_Eq.ml" 23 397 412
type(
  'a -> 'a -> bool
)
ident(
  ext_ref Pervasives.( == )
)
"lib/deriving_Eq.ml" 26 418 480 "lib/deriving_Eq.ml" 26 418 482
type(
  'a -> 'b -> 'c
)
ident(
  def eq "lib/deriving_Eq.ml" 26 418 501 "lib/deriving_Eq.ml" 26 418 505
)
"lib/deriving_Eq.ml" 26 418 483 "lib/deriving_Eq.ml" 26 418 484
type(
  'a
)
"lib/deriving_Eq.ml" 26 418 485 "lib/deriving_Eq.ml" 26 418 486
type(
  'b
)
"lib/deriving_Eq.ml" 26 418 489 "lib/deriving_Eq.ml" 26 418 501
type(
  'c
)
type(
  bool
)
"lib/deriving_Eq.ml" 26 418 485 "lib/deriving_Eq.ml" 26 418 501
type(
  'b -> 'c
)
"lib/deriving_Eq.ml" 26 418 483 "lib/deriving_Eq.ml" 26 418 501
type(
  'a -> 'b -> 'c
)
"lib/deriving_Eq.ml" 27 506 522 "lib/deriving_Eq.ml" 27 506 559
call(
  stack
)
"lib/deriving_Eq.ml" 28 560 577 "lib/deriving_Eq.ml" 28 560 615
call(
  stack
)
"lib/deriving_Eq.ml" 29 616 634 "lib/deriving_Eq.ml" 29 616 673
call(
  stack
)
"lib/deriving_Eq.ml" 30 674 691 "lib/deriving_Eq.ml" 30 674 729
call(
  stack
)
"lib/deriving_Eq.ml" 31 730 747 "lib/deriving_Eq.ml" 31 730 785
call(
  stack
)
"lib/deriving_Eq.ml" 32 786 804 "lib/deriving_Eq.ml" 32 786 843
call(
  stack
)
"lib/deriving_Eq.ml" 33 844 862 "lib/deriving_Eq.ml" 33 844 901
call(
  stack
)
"lib/deriving_Eq.ml" 34 902 924 "lib/deriving_Eq.ml" 34 902 967
call(
  stack
)
"lib/deriving_Eq.ml" 36 969 988 "lib/deriving_Eq.ml" 36 969 1026
call(
  stack
)
"lib/deriving_Eq.ml" 37 1027 1052 "lib/deriving_Eq.ml" 37 1027 1091
call(
  tail
)
"lib/deriving_Eq.ml" 38 1092 1119 "lib/deriving_Eq.ml" 38 1092 1160
call(
  tail
)
"lib/deriving_Eq.ml" 44 1253 1259 "lib/deriving_Eq.ml" 44 1253 1261
type(
  E.a option -> E.a option -> bool
)
ident(
  def eq "lib/deriving_Eq.ml" 47 1342 1358 "lib/deriving_Eq.ml" 48 1359 1362
)
"lib/deriving_Eq.ml" 44 1253 1262 "lib/deriving_Eq.ml" 44 1253 1263
type(
  E.a option
)
ident(
  def l "lib/deriving_Eq.ml" 44 1253 1264 "lib/deriving_Eq.ml" 47 1342 1358
)
"lib/deriving_Eq.ml" 44 1253 1264 "lib/deriving_Eq.ml" 44 1253 1265
type(
  E.a option
)
ident(
  def r "lib/deriving_Eq.ml" 44 1253 1268 "lib/deriving_Eq.ml" 47 1342 1358
)
"lib/deriving_Eq.ml" 44 1253 1274 "lib/deriving_Eq.ml" 44 1253 1275
type(
  E.a option
)
ident(
  int_ref l "lib/deriving_Eq.ml" 44 1253 1262 "lib/deriving_Eq.ml" 44 1253 1263
)
"lib/deriving_Eq.ml" 44 1253 1277 "lib/deriving_Eq.ml" 44 1253 1278
type(
  E.a option
)
ident(
  int_ref r "lib/deriving_Eq.ml" 44 1253 1264 "lib/deriving_Eq.ml" 44 1253 1265
)
"lib/deriving_Eq.ml" 44 1253 1274 "lib/deriving_Eq.ml" 44 1253 1278
type(
  E.a option * E.a option
)
"lib/deriving_Eq.ml" 45 1284 1290 "lib/deriving_Eq.ml" 45 1284 1294
type(
  E.a option
)
"lib/deriving_Eq.ml" 45 1284 1296 "lib/deriving_Eq.ml" 45 1284 1300
type(
  E.a option
)
"lib/deriving_Eq.ml" 45 1284 1290 "lib/deriving_Eq.ml" 45 1284 1300
type(
  E.a option * E.a option
)
"lib/deriving_Eq.ml" 45 1284 1304 "lib/deriving_Eq.ml" 45 1284 1308
type(
  bool
)
"lib/deriving_Eq.ml" 46 1309 1320 "lib/deriving_Eq.ml" 46 1309 1321
type(
  E.a
)
ident(
  def l "lib/deriving_Eq.ml" 46 1309 1333 "lib/deriving_Eq.ml" 46 1309 1341
)
"lib/deriving_Eq.ml" 46 1309 1315 "lib/deriving_Eq.ml" 46 1309 1321
type(
  E.a option
)
"lib/deriving_Eq.ml" 46 1309 1328 "lib/deriving_Eq.ml" 46 1309 1329
type(
  E.a
)
ident(
  def r "lib/deriving_Eq.ml" 46 1309 1333 "lib/deriving_Eq.ml" 46 1309 1341
)
"lib/deriving_Eq.ml" 46 1309 1323 "lib/deriving_Eq.ml" 46 1309 1329
type(
  E.a option
)
"lib/deriving_Eq.ml" 46 1309 1315 "lib/deriving_Eq.ml" 46 1309 1329
type(
  E.a option * E.a option
)
"lib/deriving_Eq.ml" 46 1309 1333 "lib/deriving_Eq.ml" 46 1309 1337
type(
  E.a -> E.a -> bool
)
ident(
  int_ref E.eq "lib/deriving_Eq.ml" 9 170 172 "lib/deriving_Eq.ml" 9 170 195
)
"lib/deriving_Eq.ml" 46 1309 1338 "lib/deriving_Eq.ml" 46 1309 1339
type(
  E.a
)
ident(
  int_ref l "lib/deriving_Eq.ml" 46 1309 1320 "lib/deriving_Eq.ml" 46 1309 1321
)
"lib/deriving_Eq.ml" 46 1309 1340 "lib/deriving_Eq.ml" 46 1309 1341
type(
  E.a
)
ident(
  int_ref r "lib/deriving_Eq.ml" 46 1309 1328 "lib/deriving_Eq.ml" 46 1309 1329
)
"lib/deriving_Eq.ml" 46 1309 1333 "lib/deriving_Eq.ml" 46 1309 1341
call(
  tail
)
type(
  bool
)
"lib/deriving_Eq.ml" 47 1342 1348 "lib/deriving_Eq.ml" 47 1342 1349
type(
  E.a option * E.a option
)
"lib/deriving_Eq.ml" 47 1342 1353 "lib/deriving_Eq.ml" 47 1342 1358
type(
  bool
)
"lib/deriving_Eq.ml" 44 1253 1268 "lib/deriving_Eq.ml" 47 1342 1358
type(
  bool
)
"lib/deriving_Eq.ml" 44 1253 1264 "lib/deriving_Eq.ml" 47 1342 1358
type(
  E.a option -> bool
)
"lib/deriving_Eq.ml" 44 1253 1262 "lib/deriving_Eq.ml" 47 1342 1358
type(
  E.a option -> E.a option -> bool
)
"lib/deriving_Eq.ml" 54 1460 1466 "lib/deriving_Eq.ml" 54 1460 1468
type(
  E.a M.t -> E.a M.t -> bool
)
ident(
  def eq "lib/deriving_Eq.ml" 54 1460 1485 "lib/deriving_Eq.ml" 55 1486 1489
)
"lib/deriving_Eq.ml" 54 1460 1471 "lib/deriving_Eq.ml" 54 1460 1478
type(
  (E.a -> E.a -> bool) -> E.a M.t -> E.a M.t -> bool
)
ident(
  ext_ref M.equal
)
"lib/deriving_Eq.ml" 54 1460 1480 "lib/deriving_Eq.ml" 54 1460 1484
type(
  E.a -> E.a -> bool
)
ident(
  int_ref E.eq "lib/deriving_Eq.ml" 9 170 172 "lib/deriving_Eq.ml" 9 170 195
)
"lib/deriving_Eq.ml" 54 1460 1471 "lib/deriving_Eq.ml" 54 1460 1485
call(
  stack
)
type(
  E.a M.t -> E.a M.t -> bool
)
"lib/deriving_Eq.ml" 61 1572 1578 "lib/deriving_Eq.ml" 61 1572 1580
type(
  S.t -> S.t -> bool
)
ident(
  def eq "lib/deriving_Eq.ml" 61 1572 1590 "lib/deriving_Eq.ml" 62 1591 1594
)
"lib/deriving_Eq.ml" 61 1572 1583 "lib/deriving_Eq.ml" 61 1572 1590
type(
  S.t -> S.t -> bool
)
ident(
  ext_ref S.equal
)
"lib/deriving_Eq.ml" 68 1681 1691 "lib/deriving_Eq.ml" 68 1681 1693
type(
  E.a list -> E.a list -> bool
)
ident(
  def eq "lib/deriving_Eq.ml" 68 1681 1683 "lib/deriving_Eq.ml" 72 1823 1826
)
"lib/deriving_Eq.ml" 68 1681 1694 "lib/deriving_Eq.ml" 68 1681 1695
type(
  E.a list
)
ident(
  def l "lib/deriving_Eq.ml" 68 1681 1696 "lib/deriving_Eq.ml" 71 1806 1822
)
"lib/deriving_Eq.ml" 68 1681 1696 "lib/deriving_Eq.ml" 68 1681 1697
type(
  E.a list
)
ident(
  def r "lib/deriving_Eq.ml" 68 1681 1700 "lib/deriving_Eq.ml" 71 1806 1822
)
"lib/deriving_Eq.ml" 68 1681 1706 "lib/deriving_Eq.ml" 68 1681 1707
type(
  E.a list
)
ident(
  int_ref l "lib/deriving_Eq.ml" 68 1681 1694 "lib/deriving_Eq.ml" 68 1681 1695
)
"lib/deriving_Eq.ml" 68 1681 1709 "lib/deriving_Eq.ml" 68 1681 1710
type(
  E.a list
)
ident(
  int_ref r "lib/deriving_Eq.ml" 68 1681 1696 "lib/deriving_Eq.ml" 68 1681 1697
)
"lib/deriving_Eq.ml" 68 1681 1706 "lib/deriving_Eq.ml" 68 1681 1710
type(
  E.a list * E.a list
)
"lib/deriving_Eq.ml" 69 1716 1722 "lib/deriving_Eq.ml" 69 1716 1724
type(
  E.a list
)
"lib/deriving_Eq.ml" 69 1716 1726 "lib/deriving_Eq.ml" 69 1716 1728
type(
  E.a list
)
"lib/deriving_Eq.ml" 69 1716 1722 "lib/deriving_Eq.ml" 69 1716 1728
type(
  E.a list * E.a list
)
"lib/deriving_Eq.ml" 69 1716 1732 "lib/deriving_Eq.ml" 69 1716 1736
type(
  bool
)
"lib/deriving_Eq.ml" 70 1737 1744 "lib/deriving_Eq.ml" 70 1737 1748
type(
  E.a
)
ident(
  def lfst "lib/deriving_Eq.ml" 70 1737 1775 "lib/deriving_Eq.ml" 70 1737 1805
)
"lib/deriving_Eq.ml" 70 1737 1750 "lib/deriving_Eq.ml" 70 1737 1754
type(
  E.a list
)
ident(
  def lrst "lib/deriving_Eq.ml" 70 1737 1775 "lib/deriving_Eq.ml" 70 1737 1805
)
"lib/deriving_Eq.ml" 70 1737 1744 "lib/deriving_Eq.ml" 70 1737 1754
type(
  E.a list
)
"lib/deriving_Eq.ml" 70 1737 1758 "lib/deriving_Eq.ml" 70 1737 1762
type(
  E.a
)
ident(
  def rfst "lib/deriving_Eq.ml" 70 1737 1775 "lib/deriving_Eq.ml" 70 1737 1805
)
"lib/deriving_Eq.ml" 70 1737 1764 "lib/deriving_Eq.ml" 70 1737 1768
type(
  E.a list
)
ident(
  def rrst "lib/deriving_Eq.ml" 70 1737 1775 "lib/deriving_Eq.ml" 70 1737 1805
)
"lib/deriving_Eq.ml" 70 1737 1758 "lib/deriving_Eq.ml" 70 1737 1768
type(
  E.a list
)
"lib/deriving_Eq.ml" 70 1737 1743 "lib/deriving_Eq.ml" 70 1737 1769
type(
  E.a list * E.a list
)
"lib/deriving_Eq.ml" 70 1737 1775 "lib/deriving_Eq.ml" 70 1737 1779
type(
  E.a -> E.a -> bool
)
ident(
  int_ref E.eq "lib/deriving_Eq.ml" 9 170 172 "lib/deriving_Eq.ml" 9 170 195
)
"lib/deriving_Eq.ml" 70 1737 1780 "lib/deriving_Eq.ml" 70 1737 1784
type(
  E.a
)
ident(
  int_ref lfst "lib/deriving_Eq.ml" 70 1737 1744 "lib/deriving_Eq.ml" 70 1737 1748
)
"lib/deriving_Eq.ml" 70 1737 1785 "lib/deriving_Eq.ml" 70 1737 1789
type(
  E.a
)
ident(
  int_ref rfst "lib/deriving_Eq.ml" 70 1737 1758 "lib/deriving_Eq.ml" 70 1737 1762
)
"lib/deriving_Eq.ml" 70 1737 1775 "lib/deriving_Eq.ml" 70 1737 1789
call(
  stack
)
type(
  bool
)
"lib/deriving_Eq.ml" 70 1737 1793 "lib/deriving_Eq.ml" 70 1737 1795
type(
  E.a list -> E.a list -> bool
)
ident(
  int_ref eq "lib/deriving_Eq.ml" 68 1681 1691 "lib/deriving_Eq.ml" 68 1681 1693
)
"lib/deriving_Eq.ml" 70 1737 1796 "lib/deriving_Eq.ml" 70 1737 1800
type(
  E.a list
)
ident(
  int_ref lrst "lib/deriving_Eq.ml" 70 1737 1750 "lib/deriving_Eq.ml" 70 1737 1754
)
"lib/deriving_Eq.ml" 70 1737 1801 "lib/deriving_Eq.ml" 70 1737 1805
type(
  E.a list
)
ident(
  int_ref rrst "lib/deriving_Eq.ml" 70 1737 1764 "lib/deriving_Eq.ml" 70 1737 1768
)
"lib/deriving_Eq.ml" 70 1737 1793 "lib/deriving_Eq.ml" 70 1737 1805
call(
  tail
)
type(
  bool
)
"lib/deriving_Eq.ml" 71 1806 1812 "lib/deriving_Eq.ml" 71 1806 1813
type(
  E.a list * E.a list
)
"lib/deriving_Eq.ml" 71 1806 1817 "lib/deriving_Eq.ml" 71 1806 1822
type(
  bool
)
"lib/deriving_Eq.ml" 68 1681 1700 "lib/deriving_Eq.ml" 71 1806 1822
type(
  bool
)
"lib/deriving_Eq.ml" 68 1681 1696 "lib/deriving_Eq.ml" 71 1806 1822
type(
  E.a list -> bool
)
"lib/deriving_Eq.ml" 68 1681 1694 "lib/deriving_Eq.ml" 71 1806 1822
type(
  E.a list -> E.a list -> bool
)

APT Browse - Built by Thomas Orozco.