Commits

camlspotter committed c753af1

added phantom

Comments (0)

Files changed (19)

    xlist
    hashSet
    xformat
+   phantom_intf
+   phantom
    spot
 
 LIB = spotlib
+"phantom.ml" 6 117 123 "phantom.ml" 6 117 130
+type(
+  Phantom_intf.Unknown.unknown
+)
+ident(
+  def unknown "phantom.ml" 8 163 165 "phantom.ml" 50 1948 1951
+)
+"phantom.ml" 6 117 133 "phantom.ml" 6 117 161
+type(
+  Phantom_intf.Unknown.unknown
+)
+ident(
+  ext_ref Phantom_intf.Unknown.unknown
+)
+"phantom.ml" 12 224 230 "phantom.ml" 12 224 237
+type(
+  'a -> 'a
+)
+ident(
+  def of_list "phantom.ml" 13 244 246 "phantom.ml" 50 1948 1951
+)
+"phantom.ml" 12 224 238 "phantom.ml" 12 224 239
+type(
+  'a
+)
+ident(
+  def v "phantom.ml" 12 224 242 "phantom.ml" 12 224 243
+)
+"phantom.ml" 12 224 242 "phantom.ml" 12 224 243
+type(
+  'a
+)
+ident(
+  int_ref v "phantom.ml" 12 224 238 "phantom.ml" 12 224 239
+)
+"phantom.ml" 13 244 250 "phantom.ml" 13 244 258
+type(
+  'b array -> 'b list
+)
+ident(
+  def of_array "phantom.ml" 14 275 277 "phantom.ml" 50 1948 1951
+)
+"phantom.ml" 13 244 261 "phantom.ml" 13 244 274
+type(
+  'b array -> 'b list
+)
+ident(
+  ext_ref Array.to_list
+)
+"phantom.ml" 14 275 281 "phantom.ml" 14 275 288
+type(
+  'c -> 'c
+)
+ident(
+  def to_list "phantom.ml" 15 295 297 "phantom.ml" 50 1948 1951
+)
+"phantom.ml" 14 275 289 "phantom.ml" 14 275 290
+type(
+  'c
+)
+ident(
+  def v "phantom.ml" 14 275 293 "phantom.ml" 14 275 294
+)
+"phantom.ml" 14 275 293 "phantom.ml" 14 275 294
+type(
+  'c
+)
+ident(
+  int_ref v "phantom.ml" 14 275 289 "phantom.ml" 14 275 290
+)
+"phantom.ml" 15 295 301 "phantom.ml" 15 295 316
+type(
+  'd -> 'd
+)
+ident(
+  def to_unknown_list "phantom.ml" 16 323 325 "phantom.ml" 50 1948 1951
+)
+"phantom.ml" 15 295 317 "phantom.ml" 15 295 318
+type(
+  'd
+)
+ident(
+  def v "phantom.ml" 15 295 321 "phantom.ml" 15 295 322
+)
+"phantom.ml" 15 295 321 "phantom.ml" 15 295 322
+type(
+  'd
+)
+ident(
+  int_ref v "phantom.ml" 15 295 317 "phantom.ml" 15 295 318
+)
+"phantom.ml" 16 323 329 "phantom.ml" 16 323 337
+type(
+  'e list -> 'e array
+)
+ident(
+  def to_array "phantom.ml" 17 354 356 "phantom.ml" 50 1948 1951
+)
+"phantom.ml" 16 323 340 "phantom.ml" 16 323 353
+type(
+  'e list -> 'e array
+)
+ident(
+  ext_ref Array.of_list
+)
+"phantom.ml" 17 354 360 "phantom.ml" 17 354 376
+type(
+  'f list -> 'f array
+)
+ident(
+  def to_unknown_array "phantom.ml" 18 393 395 "phantom.ml" 50 1948 1951
+)
+"phantom.ml" 17 354 379 "phantom.ml" 17 354 392
+type(
+  'f list -> 'f array
+)
+ident(
+  ext_ref Array.of_list
+)
+"phantom.ml" 18 393 399 "phantom.ml" 18 393 405
+type(
+  'g list -> int
+)
+ident(
+  def length "phantom.ml" 20 422 424 "phantom.ml" 50 1948 1951
+)
+"phantom.ml" 18 393 408 "phantom.ml" 18 393 419
+type(
+  'g list -> int
+)
+ident(
+  ext_ref List.length
+)
+"phantom.ml" 20 422 428 "phantom.ml" 20 422 432
+type(
+  'h -> 'h
+)
+ident(
+  def !< "phantom.ml" 21 439 441 "phantom.ml" 50 1948 1951
+)
+"phantom.ml" 20 422 433 "phantom.ml" 20 422 434
+type(
+  'h
+)
+ident(
+  def x "phantom.ml" 20 422 437 "phantom.ml" 20 422 438
+)
+"phantom.ml" 20 422 437 "phantom.ml" 20 422 438
+type(
+  'h
+)
+ident(
+  int_ref x "phantom.ml" 20 422 433 "phantom.ml" 20 422 434
+)
+"phantom.ml" 21 439 445 "phantom.ml" 21 439 449
+type(
+  'i -> 'i
+)
+ident(
+  def !> "phantom.ml" 22 456 458 "phantom.ml" 50 1948 1951
+)
+"phantom.ml" 21 439 450 "phantom.ml" 21 439 451
+type(
+  'i
+)
+ident(
+  def x "phantom.ml" 21 439 454 "phantom.ml" 21 439 455
+)
+"phantom.ml" 21 439 454 "phantom.ml" 21 439 455
+type(
+  'i
+)
+ident(
+  int_ref x "phantom.ml" 21 439 450 "phantom.ml" 21 439 451
+)
+"phantom.ml" 22 456 462 "phantom.ml" 22 456 466
+type(
+  'j -> 'j
+)
+ident(
+  def !? "phantom.ml" 23 473 475 "phantom.ml" 50 1948 1951
+)
+"phantom.ml" 22 456 467 "phantom.ml" 22 456 468
+type(
+  'j
+)
+ident(
+  def x "phantom.ml" 22 456 471 "phantom.ml" 22 456 472
+)
+"phantom.ml" 22 456 471 "phantom.ml" 22 456 472
+type(
+  'j
+)
+ident(
+  int_ref x "phantom.ml" 22 456 467 "phantom.ml" 22 456 468
+)
+"phantom.ml" 23 473 479 "phantom.ml" 23 473 485
+type(
+  'k -> 'k
+)
+ident(
+  def unsafe "phantom.ml" 24 492 494 "phantom.ml" 50 1948 1951
+)
+"phantom.ml" 23 473 486 "phantom.ml" 23 473 487
+type(
+  'k
+)
+ident(
+  def x "phantom.ml" 23 473 490 "phantom.ml" 23 473 491
+)
+"phantom.ml" 23 473 490 "phantom.ml" 23 473 491
+type(
+  'k
+)
+ident(
+  int_ref x "phantom.ml" 23 473 486 "phantom.ml" 23 473 487
+)
+"phantom.ml" 24 492 498 "phantom.ml" 24 492 509
+type(
+  'l -> 'l
+)
+ident(
+  def unsafe_list "phantom.ml" 25 516 518 "phantom.ml" 50 1948 1951
+)
+"phantom.ml" 24 492 510 "phantom.ml" 24 492 511
+type(
+  'l
+)
+ident(
+  def x "phantom.ml" 24 492 514 "phantom.ml" 24 492 515
+)
+"phantom.ml" 24 492 514 "phantom.ml" 24 492 515
+type(
+  'l
+)
+ident(
+  int_ref x "phantom.ml" 24 492 510 "phantom.ml" 24 492 511
+)
+"phantom.ml" 25 516 522 "phantom.ml" 25 516 527
+type(
+  'm -> 'm
+)
+ident(
+  def magic "phantom.ml" 27 535 537 "phantom.ml" 50 1948 1951
+)
+"phantom.ml" 25 516 528 "phantom.ml" 25 516 529
+type(
+  'm
+)
+ident(
+  def x "phantom.ml" 25 516 532 "phantom.ml" 25 516 533
+)
+"phantom.ml" 25 516 532 "phantom.ml" 25 516 533
+type(
+  'm
+)
+ident(
+  int_ref x "phantom.ml" 25 516 528 "phantom.ml" 25 516 529
+)
+"phantom.ml" 27 535 541 "phantom.ml" 27 535 543
+type(
+  'n list
+)
+ident(
+  def c0 "phantom.ml" 28 549 551 "phantom.ml" 50 1948 1951
+)
+"phantom.ml" 27 535 546 "phantom.ml" 27 535 548
+type(
+  'n list
+)
+"phantom.ml" 28 549 555 "phantom.ml" 28 549 557
+type(
+  'o -> 'o list
+)
+ident(
+  def c1 "phantom.ml" 29 566 568 "phantom.ml" 50 1948 1951
+)
+"phantom.ml" 28 549 558 "phantom.ml" 28 549 559
+type(
+  'o
+)
+ident(
+  def t "phantom.ml" 28 549 562 "phantom.ml" 28 549 565
+)
+"phantom.ml" 28 549 563 "phantom.ml" 28 549 564
+type(
+  'o
+)
+ident(
+  int_ref t "phantom.ml" 28 549 558 "phantom.ml" 28 549 559
+)
+"phantom.ml" 28 549 562 "phantom.ml" 28 549 565
+type(
+  'o list
+)
+"phantom.ml" 29 566 572 "phantom.ml" 29 566 574
+type(
+  'p -> 'p -> 'p list
+)
+ident(
+  def c2 "phantom.ml" 30 592 594 "phantom.ml" 50 1948 1951
+)
+"phantom.ml" 29 566 575 "phantom.ml" 29 566 577
+type(
+  'p
+)
+ident(
+  def t1 "phantom.ml" 29 566 578 "phantom.ml" 29 566 591
+)
+"phantom.ml" 29 566 578 "phantom.ml" 29 566 580
+type(
+  'p
+)
+ident(
+  def t2 "phantom.ml" 29 566 583 "phantom.ml" 29 566 591
+)
+"phantom.ml" 29 566 584 "phantom.ml" 29 566 586
+type(
+  'p
+)
+ident(
+  int_ref t1 "phantom.ml" 29 566 575 "phantom.ml" 29 566 577
+)
+"phantom.ml" 29 566 588 "phantom.ml" 29 566 590
+type(
+  'p
+)
+ident(
+  int_ref t2 "phantom.ml" 29 566 578 "phantom.ml" 29 566 580
+)
+"phantom.ml" 29 566 583 "phantom.ml" 29 566 591
+type(
+  'p list
+)
+"phantom.ml" 30 592 598 "phantom.ml" 30 592 600
+type(
+  'q -> 'q -> 'q -> 'q list
+)
+ident(
+  def c3 "phantom.ml" 31 625 627 "phantom.ml" 50 1948 1951
+)
+"phantom.ml" 30 592 601 "phantom.ml" 30 592 603
+type(
+  'q
+)
+ident(
+  def t1 "phantom.ml" 30 592 604 "phantom.ml" 30 592 624
+)
+"phantom.ml" 30 592 604 "phantom.ml" 30 592 606
+type(
+  'q
+)
+ident(
+  def t2 "phantom.ml" 30 592 607 "phantom.ml" 30 592 624
+)
+"phantom.ml" 30 592 607 "phantom.ml" 30 592 609
+type(
+  'q
+)
+ident(
+  def t3 "phantom.ml" 30 592 612 "phantom.ml" 30 592 624
+)
+"phantom.ml" 30 592 613 "phantom.ml" 30 592 615
+type(
+  'q
+)
+ident(
+  int_ref t1 "phantom.ml" 30 592 601 "phantom.ml" 30 592 603
+)
+"phantom.ml" 30 592 617 "phantom.ml" 30 592 619
+type(
+  'q
+)
+ident(
+  int_ref t2 "phantom.ml" 30 592 604 "phantom.ml" 30 592 606
+)
+"phantom.ml" 30 592 621 "phantom.ml" 30 592 623
+type(
+  'q
+)
+ident(
+  int_ref t3 "phantom.ml" 30 592 607 "phantom.ml" 30 592 609
+)
+"phantom.ml" 30 592 612 "phantom.ml" 30 592 624
+type(
+  'q list
+)
+"phantom.ml" 31 625 631 "phantom.ml" 31 625 633
+type(
+  'r -> 'r -> 'r -> 'r -> 'r list
+)
+ident(
+  def c4 "phantom.ml" 32 665 667 "phantom.ml" 50 1948 1951
+)
+"phantom.ml" 31 625 634 "phantom.ml" 31 625 636
+type(
+  'r
+)
+ident(
+  def t1 "phantom.ml" 31 625 637 "phantom.ml" 31 625 664
+)
+"phantom.ml" 31 625 637 "phantom.ml" 31 625 639
+type(
+  'r
+)
+ident(
+  def t2 "phantom.ml" 31 625 640 "phantom.ml" 31 625 664
+)
+"phantom.ml" 31 625 640 "phantom.ml" 31 625 642
+type(
+  'r
+)
+ident(
+  def t3 "phantom.ml" 31 625 643 "phantom.ml" 31 625 664
+)
+"phantom.ml" 31 625 643 "phantom.ml" 31 625 645
+type(
+  'r
+)
+ident(
+  def t4 "phantom.ml" 31 625 648 "phantom.ml" 31 625 664
+)
+"phantom.ml" 31 625 649 "phantom.ml" 31 625 651
+type(
+  'r
+)
+ident(
+  int_ref t1 "phantom.ml" 31 625 634 "phantom.ml" 31 625 636
+)
+"phantom.ml" 31 625 653 "phantom.ml" 31 625 655
+type(
+  'r
+)
+ident(
+  int_ref t2 "phantom.ml" 31 625 637 "phantom.ml" 31 625 639
+)
+"phantom.ml" 31 625 657 "phantom.ml" 31 625 659
+type(
+  'r
+)
+ident(
+  int_ref t3 "phantom.ml" 31 625 640 "phantom.ml" 31 625 642
+)
+"phantom.ml" 31 625 661 "phantom.ml" 31 625 663
+type(
+  'r
+)
+ident(
+  int_ref t4 "phantom.ml" 31 625 643 "phantom.ml" 31 625 645
+)
+"phantom.ml" 31 625 648 "phantom.ml" 31 625 664
+type(
+  'r list
+)
+"phantom.ml" 32 665 671 "phantom.ml" 32 665 673
+type(
+  's -> 's -> 's -> 's -> 's -> 's list
+)
+ident(
+  def c5 "phantom.ml" 33 712 714 "phantom.ml" 50 1948 1951
+)
+"phantom.ml" 32 665 674 "phantom.ml" 32 665 676
+type(
+  's
+)
+ident(
+  def t1 "phantom.ml" 32 665 677 "phantom.ml" 32 665 711
+)
+"phantom.ml" 32 665 677 "phantom.ml" 32 665 679
+type(
+  's
+)
+ident(
+  def t2 "phantom.ml" 32 665 680 "phantom.ml" 32 665 711
+)
+"phantom.ml" 32 665 680 "phantom.ml" 32 665 682
+type(
+  's
+)
+ident(
+  def t3 "phantom.ml" 32 665 683 "phantom.ml" 32 665 711
+)
+"phantom.ml" 32 665 683 "phantom.ml" 32 665 685
+type(
+  's
+)
+ident(
+  def t4 "phantom.ml" 32 665 686 "phantom.ml" 32 665 711
+)
+"phantom.ml" 32 665 686 "phantom.ml" 32 665 688
+type(
+  's
+)
+ident(
+  def t5 "phantom.ml" 32 665 691 "phantom.ml" 32 665 711
+)
+"phantom.ml" 32 665 692 "phantom.ml" 32 665 694
+type(
+  's
+)
+ident(
+  int_ref t1 "phantom.ml" 32 665 674 "phantom.ml" 32 665 676
+)
+"phantom.ml" 32 665 696 "phantom.ml" 32 665 698
+type(
+  's
+)
+ident(
+  int_ref t2 "phantom.ml" 32 665 677 "phantom.ml" 32 665 679
+)
+"phantom.ml" 32 665 700 "phantom.ml" 32 665 702
+type(
+  's
+)
+ident(
+  int_ref t3 "phantom.ml" 32 665 680 "phantom.ml" 32 665 682
+)
+"phantom.ml" 32 665 704 "phantom.ml" 32 665 706
+type(
+  's
+)
+ident(
+  int_ref t4 "phantom.ml" 32 665 683 "phantom.ml" 32 665 685
+)
+"phantom.ml" 32 665 708 "phantom.ml" 32 665 710
+type(
+  's
+)
+ident(
+  int_ref t5 "phantom.ml" 32 665 686 "phantom.ml" 32 665 688
+)
+"phantom.ml" 32 665 691 "phantom.ml" 32 665 711
+type(
+  's list
+)
+"phantom.ml" 33 712 718 "phantom.ml" 33 712 720
+type(
+  't -> 't -> 't -> 't -> 't -> 't -> 't list
+)
+ident(
+  def c6 "phantom.ml" 34 766 768 "phantom.ml" 50 1948 1951
+)
+"phantom.ml" 33 712 721 "phantom.ml" 33 712 723
+type(
+  't
+)
+ident(
+  def t1 "phantom.ml" 33 712 724 "phantom.ml" 33 712 765
+)
+"phantom.ml" 33 712 724 "phantom.ml" 33 712 726
+type(
+  't
+)
+ident(
+  def t2 "phantom.ml" 33 712 727 "phantom.ml" 33 712 765
+)
+"phantom.ml" 33 712 727 "phantom.ml" 33 712 729
+type(
+  't
+)
+ident(
+  def t3 "phantom.ml" 33 712 730 "phantom.ml" 33 712 765
+)
+"phantom.ml" 33 712 730 "phantom.ml" 33 712 732
+type(
+  't
+)
+ident(
+  def t4 "phantom.ml" 33 712 733 "phantom.ml" 33 712 765
+)
+"phantom.ml" 33 712 733 "phantom.ml" 33 712 735
+type(
+  't
+)
+ident(
+  def t5 "phantom.ml" 33 712 736 "phantom.ml" 33 712 765
+)
+"phantom.ml" 33 712 736 "phantom.ml" 33 712 738
+type(
+  't
+)
+ident(
+  def t6 "phantom.ml" 33 712 741 "phantom.ml" 33 712 765
+)
+"phantom.ml" 33 712 742 "phantom.ml" 33 712 744
+type(
+  't
+)
+ident(
+  int_ref t1 "phantom.ml" 33 712 721 "phantom.ml" 33 712 723
+)
+"phantom.ml" 33 712 746 "phantom.ml" 33 712 748
+type(
+  't
+)
+ident(
+  int_ref t2 "phantom.ml" 33 712 724 "phantom.ml" 33 712 726
+)
+"phantom.ml" 33 712 750 "phantom.ml" 33 712 752
+type(
+  't
+)
+ident(
+  int_ref t3 "phantom.ml" 33 712 727 "phantom.ml" 33 712 729
+)
+"phantom.ml" 33 712 754 "phantom.ml" 33 712 756
+type(
+  't
+)
+ident(
+  int_ref t4 "phantom.ml" 33 712 730 "phantom.ml" 33 712 732
+)
+"phantom.ml" 33 712 758 "phantom.ml" 33 712 760
+type(
+  't
+)
+ident(
+  int_ref t5 "phantom.ml" 33 712 733 "phantom.ml" 33 712 735
+)
+"phantom.ml" 33 712 762 "phantom.ml" 33 712 764
+type(
+  't
+)
+ident(
+  int_ref t6 "phantom.ml" 33 712 736 "phantom.ml" 33 712 738
+)
+"phantom.ml" 33 712 741 "phantom.ml" 33 712 765
+type(
+  't list
+)
+"phantom.ml" 34 766 772 "phantom.ml" 34 766 774
+type(
+  'u -> 'u -> 'u -> 'u -> 'u -> 'u -> 'u -> 'u list
+)
+ident(
+  def c7 "phantom.ml" 35 827 829 "phantom.ml" 50 1948 1951
+)
+"phantom.ml" 34 766 775 "phantom.ml" 34 766 777
+type(
+  'u
+)
+ident(
+  def t1 "phantom.ml" 34 766 778 "phantom.ml" 34 766 826
+)
+"phantom.ml" 34 766 778 "phantom.ml" 34 766 780
+type(
+  'u
+)
+ident(
+  def t2 "phantom.ml" 34 766 781 "phantom.ml" 34 766 826
+)
+"phantom.ml" 34 766 781 "phantom.ml" 34 766 783
+type(
+  'u
+)
+ident(
+  def t3 "phantom.ml" 34 766 784 "phantom.ml" 34 766 826
+)
+"phantom.ml" 34 766 784 "phantom.ml" 34 766 786
+type(
+  'u
+)
+ident(
+  def t4 "phantom.ml" 34 766 787 "phantom.ml" 34 766 826
+)
+"phantom.ml" 34 766 787 "phantom.ml" 34 766 789
+type(
+  'u
+)
+ident(
+  def t5 "phantom.ml" 34 766 790 "phantom.ml" 34 766 826
+)
+"phantom.ml" 34 766 790 "phantom.ml" 34 766 792
+type(
+  'u
+)
+ident(
+  def t6 "phantom.ml" 34 766 793 "phantom.ml" 34 766 826
+)
+"phantom.ml" 34 766 793 "phantom.ml" 34 766 795
+type(
+  'u
+)
+ident(
+  def t7 "phantom.ml" 34 766 798 "phantom.ml" 34 766 826
+)
+"phantom.ml" 34 766 799 "phantom.ml" 34 766 801
+type(
+  'u
+)
+ident(
+  int_ref t1 "phantom.ml" 34 766 775 "phantom.ml" 34 766 777
+)
+"phantom.ml" 34 766 803 "phantom.ml" 34 766 805
+type(
+  'u
+)
+ident(
+  int_ref t2 "phantom.ml" 34 766 778 "phantom.ml" 34 766 780
+)
+"phantom.ml" 34 766 807 "phantom.ml" 34 766 809
+type(
+  'u
+)
+ident(
+  int_ref t3 "phantom.ml" 34 766 781 "phantom.ml" 34 766 783
+)
+"phantom.ml" 34 766 811 "phantom.ml" 34 766 813
+type(
+  'u
+)
+ident(
+  int_ref t4 "phantom.ml" 34 766 784 "phantom.ml" 34 766 786
+)
+"phantom.ml" 34 766 815 "phantom.ml" 34 766 817
+type(
+  'u
+)
+ident(
+  int_ref t5 "phantom.ml" 34 766 787 "phantom.ml" 34 766 789
+)
+"phantom.ml" 34 766 819 "phantom.ml" 34 766 821
+type(
+  'u
+)
+ident(
+  int_ref t6 "phantom.ml" 34 766 790 "phantom.ml" 34 766 792
+)
+"phantom.ml" 34 766 823 "phantom.ml" 34 766 825
+type(
+  'u
+)
+ident(
+  int_ref t7 "phantom.ml" 34 766 793 "phantom.ml" 34 766 795
+)
+"phantom.ml" 34 766 798 "phantom.ml" 34 766 826
+type(
+  'u list
+)
+"phantom.ml" 35 827 833 "phantom.ml" 35 827 835
+type(
+  'v -> 'v -> 'v -> 'v -> 'v -> 'v -> 'v -> 'v -> 'v list
+)
+ident(
+  def c8 "phantom.ml" 36 895 897 "phantom.ml" 50 1948 1951
+)
+"phantom.ml" 35 827 836 "phantom.ml" 35 827 838
+type(
+  'v
+)
+ident(
+  def t1 "phantom.ml" 35 827 839 "phantom.ml" 35 827 894
+)
+"phantom.ml" 35 827 839 "phantom.ml" 35 827 841
+type(
+  'v
+)
+ident(
+  def t2 "phantom.ml" 35 827 842 "phantom.ml" 35 827 894
+)
+"phantom.ml" 35 827 842 "phantom.ml" 35 827 844
+type(
+  'v
+)
+ident(
+  def t3 "phantom.ml" 35 827 845 "phantom.ml" 35 827 894
+)
+"phantom.ml" 35 827 845 "phantom.ml" 35 827 847
+type(
+  'v
+)
+ident(
+  def t4 "phantom.ml" 35 827 848 "phantom.ml" 35 827 894
+)
+"phantom.ml" 35 827 848 "phantom.ml" 35 827 850
+type(
+  'v
+)
+ident(
+  def t5 "phantom.ml" 35 827 851 "phantom.ml" 35 827 894
+)
+"phantom.ml" 35 827 851 "phantom.ml" 35 827 853
+type(
+  'v
+)
+ident(
+  def t6 "phantom.ml" 35 827 854 "phantom.ml" 35 827 894
+)
+"phantom.ml" 35 827 854 "phantom.ml" 35 827 856
+type(
+  'v
+)
+ident(
+  def t7 "phantom.ml" 35 827 857 "phantom.ml" 35 827 894
+)
+"phantom.ml" 35 827 857 "phantom.ml" 35 827 859
+type(
+  'v
+)
+ident(
+  def t8 "phantom.ml" 35 827 862 "phantom.ml" 35 827 894
+)
+"phantom.ml" 35 827 863 "phantom.ml" 35 827 865
+type(
+  'v
+)
+ident(
+  int_ref t1 "phantom.ml" 35 827 836 "phantom.ml" 35 827 838
+)
+"phantom.ml" 35 827 867 "phantom.ml" 35 827 869
+type(
+  'v
+)
+ident(
+  int_ref t2 "phantom.ml" 35 827 839 "phantom.ml" 35 827 841
+)
+"phantom.ml" 35 827 871 "phantom.ml" 35 827 873
+type(
+  'v
+)
+ident(
+  int_ref t3 "phantom.ml" 35 827 842 "phantom.ml" 35 827 844
+)
+"phantom.ml" 35 827 875 "phantom.ml" 35 827 877
+type(
+  'v
+)
+ident(
+  int_ref t4 "phantom.ml" 35 827 845 "phantom.ml" 35 827 847
+)
+"phantom.ml" 35 827 879 "phantom.ml" 35 827 881
+type(
+  'v
+)
+ident(
+  int_ref t5 "phantom.ml" 35 827 848 "phantom.ml" 35 827 850
+)
+"phantom.ml" 35 827 883 "phantom.ml" 35 827 885
+type(
+  'v
+)
+ident(
+  int_ref t6 "phantom.ml" 35 827 851 "phantom.ml" 35 827 853
+)
+"phantom.ml" 35 827 887 "phantom.ml" 35 827 889
+type(
+  'v
+)
+ident(
+  int_ref t7 "phantom.ml" 35 827 854 "phantom.ml" 35 827 856
+)
+"phantom.ml" 35 827 891 "phantom.ml" 35 827 893
+type(
+  'v
+)
+ident(
+  int_ref t8 "phantom.ml" 35 827 857 "phantom.ml" 35 827 859
+)
+"phantom.ml" 35 827 862 "phantom.ml" 35 827 894
+type(
+  'v list
+)
+"phantom.ml" 36 895 901 "phantom.ml" 36 895 903
+type(
+  'w -> 'w -> 'w -> 'w -> 'w -> 'w -> 'w -> 'w -> 'w -> 'w list
+)
+ident(
+  def c9 "phantom.ml" 37 970 972 "phantom.ml" 50 1948 1951
+)
+"phantom.ml" 36 895 904 "phantom.ml" 36 895 906
+type(
+  'w
+)
+ident(
+  def t1 "phantom.ml" 36 895 907 "phantom.ml" 36 895 969
+)
+"phantom.ml" 36 895 907 "phantom.ml" 36 895 909
+type(
+  'w
+)
+ident(
+  def t2 "phantom.ml" 36 895 910 "phantom.ml" 36 895 969
+)
+"phantom.ml" 36 895 910 "phantom.ml" 36 895 912
+type(
+  'w
+)
+ident(
+  def t3 "phantom.ml" 36 895 913 "phantom.ml" 36 895 969
+)
+"phantom.ml" 36 895 913 "phantom.ml" 36 895 915
+type(
+  'w
+)
+ident(
+  def t4 "phantom.ml" 36 895 916 "phantom.ml" 36 895 969
+)
+"phantom.ml" 36 895 916 "phantom.ml" 36 895 918
+type(
+  'w
+)
+ident(
+  def t5 "phantom.ml" 36 895 919 "phantom.ml" 36 895 969
+)
+"phantom.ml" 36 895 919 "phantom.ml" 36 895 921
+type(
+  'w
+)
+ident(
+  def t6 "phantom.ml" 36 895 922 "phantom.ml" 36 895 969
+)
+"phantom.ml" 36 895 922 "phantom.ml" 36 895 924
+type(
+  'w
+)
+ident(
+  def t7 "phantom.ml" 36 895 925 "phantom.ml" 36 895 969
+)
+"phantom.ml" 36 895 925 "phantom.ml" 36 895 927
+type(
+  'w
+)
+ident(
+  def t8 "phantom.ml" 36 895 928 "phantom.ml" 36 895 969
+)
+"phantom.ml" 36 895 928 "phantom.ml" 36 895 930
+type(
+  'w
+)
+ident(
+  def t9 "phantom.ml" 36 895 933 "phantom.ml" 36 895 969
+)
+"phantom.ml" 36 895 934 "phantom.ml" 36 895 936
+type(
+  'w
+)
+ident(
+  int_ref t1 "phantom.ml" 36 895 904 "phantom.ml" 36 895 906
+)
+"phantom.ml" 36 895 938 "phantom.ml" 36 895 940
+type(
+  'w
+)
+ident(
+  int_ref t2 "phantom.ml" 36 895 907 "phantom.ml" 36 895 909
+)
+"phantom.ml" 36 895 942 "phantom.ml" 36 895 944
+type(
+  'w
+)
+ident(
+  int_ref t3 "phantom.ml" 36 895 910 "phantom.ml" 36 895 912
+)
+"phantom.ml" 36 895 946 "phantom.ml" 36 895 948
+type(
+  'w
+)
+ident(
+  int_ref t4 "phantom.ml" 36 895 913 "phantom.ml" 36 895 915
+)
+"phantom.ml" 36 895 950 "phantom.ml" 36 895 952
+type(
+  'w
+)
+ident(
+  int_ref t5 "phantom.ml" 36 895 916 "phantom.ml" 36 895 918
+)
+"phantom.ml" 36 895 954 "phantom.ml" 36 895 956
+type(
+  'w
+)
+ident(
+  int_ref t6 "phantom.ml" 36 895 919 "phantom.ml" 36 895 921
+)
+"phantom.ml" 36 895 958 "phantom.ml" 36 895 960
+type(
+  'w
+)
+ident(
+  int_ref t7 "phantom.ml" 36 895 922 "phantom.ml" 36 895 924
+)
+"phantom.ml" 36 895 962 "phantom.ml" 36 895 964
+type(
+  'w
+)
+ident(
+  int_ref t8 "phantom.ml" 36 895 925 "phantom.ml" 36 895 927
+)
+"phantom.ml" 36 895 966 "phantom.ml" 36 895 968
+type(
+  'w
+)
+ident(
+  int_ref t9 "phantom.ml" 36 895 928 "phantom.ml" 36 895 930
+)
+"phantom.ml" 36 895 933 "phantom.ml" 36 895 969
+type(
+  'w list
+)
+"phantom.ml" 37 970 976 "phantom.ml" 37 970 979
+type(
+  'x -> 'x -> 'x -> 'x -> 'x -> 'x -> 'x -> 'x -> 'x -> 'x -> 'x list
+)
+ident(
+  def c10 "phantom.ml" 39 1058 1060 "phantom.ml" 50 1948 1951
+)
+"phantom.ml" 37 970 980 "phantom.ml" 37 970 982
+type(
+  'x
+)
+ident(
+  def t1 "phantom.ml" 37 970 983 "phantom.ml" 37 970 1054
+)
+"phantom.ml" 37 970 983 "phantom.ml" 37 970 985
+type(
+  'x
+)
+ident(
+  def t2 "phantom.ml" 37 970 986 "phantom.ml" 37 970 1054
+)
+"phantom.ml" 37 970 986 "phantom.ml" 37 970 988
+type(
+  'x
+)
+ident(
+  def t3 "phantom.ml" 37 970 989 "phantom.ml" 37 970 1054
+)
+"phantom.ml" 37 970 989 "phantom.ml" 37 970 991
+type(
+  'x
+)
+ident(
+  def t4 "phantom.ml" 37 970 992 "phantom.ml" 37 970 1054
+)
+"phantom.ml" 37 970 992 "phantom.ml" 37 970 994
+type(
+  'x
+)
+ident(
+  def t5 "phantom.ml" 37 970 995 "phantom.ml" 37 970 1054
+)
+"phantom.ml" 37 970 995 "phantom.ml" 37 970 997
+type(
+  'x
+)
+ident(
+  def t6 "phantom.ml" 37 970 998 "phantom.ml" 37 970 1054
+)
+"phantom.ml" 37 970 998 "phantom.ml" 37 970 1000
+type(
+  'x
+)
+ident(
+  def t7 "phantom.ml" 37 970 1001 "phantom.ml" 37 970 1054
+)
+"phantom.ml" 37 970 1001 "phantom.ml" 37 970 1003
+type(
+  'x
+)
+ident(
+  def t8 "phantom.ml" 37 970 1004 "phantom.ml" 37 970 1054
+)
+"phantom.ml" 37 970 1004 "phantom.ml" 37 970 1006
+type(
+  'x
+)
+ident(
+  def t9 "phantom.ml" 37 970 1007 "phantom.ml" 37 970 1054
+)
+"phantom.ml" 37 970 1007 "phantom.ml" 37 970 1010
+type(
+  'x
+)
+ident(
+  def t10 "phantom.ml" 37 970 1013 "phantom.ml" 37 970 1054
+)
+"phantom.ml" 37 970 1014 "phantom.ml" 37 970 1016
+type(
+  'x
+)
+ident(
+  int_ref t1 "phantom.ml" 37 970 980 "phantom.ml" 37 970 982
+)
+"phantom.ml" 37 970 1018 "phantom.ml" 37 970 1020
+type(
+  'x
+)
+ident(
+  int_ref t2 "phantom.ml" 37 970 983 "phantom.ml" 37 970 985
+)
+"phantom.ml" 37 970 1022 "phantom.ml" 37 970 1024
+type(
+  'x
+)
+ident(
+  int_ref t3 "phantom.ml" 37 970 986 "phantom.ml" 37 970 988
+)
+"phantom.ml" 37 970 1026 "phantom.ml" 37 970 1028
+type(
+  'x
+)
+ident(
+  int_ref t4 "phantom.ml" 37 970 989 "phantom.ml" 37 970 991
+)
+"phantom.ml" 37 970 1030 "phantom.ml" 37 970 1032
+type(
+  'x
+)
+ident(
+  int_ref t5 "phantom.ml" 37 970 992 "phantom.ml" 37 970 994
+)
+"phantom.ml" 37 970 1034 "phantom.ml" 37 970 1036
+type(
+  'x
+)
+ident(
+  int_ref t6 "phantom.ml" 37 970 995 "phantom.ml" 37 970 997
+)
+"phantom.ml" 37 970 1038 "phantom.ml" 37 970 1040
+type(
+  'x
+)
+ident(
+  int_ref t7 "phantom.ml" 37 970 998 "phantom.ml" 37 970 1000
+)
+"phantom.ml" 37 970 1042 "phantom.ml" 37 970 1044
+type(
+  'x
+)
+ident(
+  int_ref t8 "phantom.ml" 37 970 1001 "phantom.ml" 37 970 1003
+)
+"phantom.ml" 37 970 1046 "phantom.ml" 37 970 1048
+type(
+  'x
+)
+ident(
+  int_ref t9 "phantom.ml" 37 970 1004 "phantom.ml" 37 970 1006
+)
+"phantom.ml" 37 970 1050 "phantom.ml" 37 970 1053
+type(
+  'x
+)
+ident(
+  int_ref t10 "phantom.ml" 37 970 1007 "phantom.ml" 37 970 1010
+)
+"phantom.ml" 37 970 1013 "phantom.ml" 37 970 1054
+type(
+  'x list
+)
+"phantom.ml" 39 1058 1064 "phantom.ml" 39 1058 1066
+type(
+  'y list -> 'y
+)
+ident(
+  def d1 "phantom.ml" 40 1107 1109 "phantom.ml" 50 1948 1951
+)
+"phantom.ml" 39 1058 1079 "phantom.ml" 39 1058 1080
+type(
+  'y
+)
+ident(
+  def t "phantom.ml" 39 1058 1085 "phantom.ml" 39 1058 1086
+)
+"phantom.ml" 39 1058 1078 "phantom.ml" 39 1058 1081
+type(
+  'y list
+)
+"phantom.ml" 39 1058 1085 "phantom.ml" 39 1058 1086
+type(
+  'y
+)
+ident(
+  int_ref t "phantom.ml" 39 1058 1079 "phantom.ml" 39 1058 1080
+)
+"phantom.ml" 39 1058 1089 "phantom.ml" 39 1058 1090
+type(
+  'y list
+)
+"phantom.ml" 39 1058 1094 "phantom.ml" 39 1058 1106
+type(
+  'y
+)
+"phantom.ml" 39 1058 1069 "phantom.ml" 39 1058 1106
+type(
+  'y list -> 'y
+)
+"phantom.ml" 40 1107 1113 "phantom.ml" 40 1107 1115
+type(
+  'z list -> 'z * 'z
+)
+ident(
+  def d2 "phantom.ml" 41 1168 1170 "phantom.ml" 50 1948 1951
+)
+"phantom.ml" 40 1107 1128 "phantom.ml" 40 1107 1130
+type(
+  'z
+)
+ident(
+  def t1 "phantom.ml" 40 1107 1139 "phantom.ml" 40 1107 1147
+)
+"phantom.ml" 40 1107 1132 "phantom.ml" 40 1107 1134
+type(
+  'z
+)
+ident(
+  def t2 "phantom.ml" 40 1107 1139 "phantom.ml" 40 1107 1147
+)
+"phantom.ml" 40 1107 1127 "phantom.ml" 40 1107 1135
+type(
+  'z list
+)
+"phantom.ml" 40 1107 1140 "phantom.ml" 40 1107 1142
+type(
+  'z
+)
+ident(
+  int_ref t1 "phantom.ml" 40 1107 1128 "phantom.ml" 40 1107 1130
+)
+"phantom.ml" 40 1107 1144 "phantom.ml" 40 1107 1146
+type(
+  'z
+)
+ident(
+  int_ref t2 "phantom.ml" 40 1107 1132 "phantom.ml" 40 1107 1134
+)
+"phantom.ml" 40 1107 1139 "phantom.ml" 40 1107 1147
+type(
+  'z * 'z
+)
+"phantom.ml" 40 1107 1150 "phantom.ml" 40 1107 1151
+type(
+  'z list
+)
+"phantom.ml" 40 1107 1155 "phantom.ml" 40 1107 1167
+type(
+  'z * 'z
+)
+"phantom.ml" 40 1107 1118 "phantom.ml" 40 1107 1167
+type(
+  'z list -> 'z * 'z
+)
+"phantom.ml" 41 1168 1174 "phantom.ml" 41 1168 1176
+type(
+  'a1 list -> 'a1 * 'a1 * 'a1
+)
+ident(
+  def d3 "phantom.ml" 42 1237 1239 "phantom.ml" 50 1948 1951
+)
+"phantom.ml" 41 1168 1189 "phantom.ml" 41 1168 1191
+type(
+  'a1
+)
+ident(
+  def t1 "phantom.ml" 41 1168 1204 "phantom.ml" 41 1168 1216
+)
+"phantom.ml" 41 1168 1193 "phantom.ml" 41 1168 1195
+type(
+  'a1
+)
+ident(
+  def t2 "phantom.ml" 41 1168 1204 "phantom.ml" 41 1168 1216
+)
+"phantom.ml" 41 1168 1197 "phantom.ml" 41 1168 1199
+type(
+  'a1
+)
+ident(
+  def t3 "phantom.ml" 41 1168 1204 "phantom.ml" 41 1168 1216
+)
+"phantom.ml" 41 1168 1188 "phantom.ml" 41 1168 1200
+type(
+  'a1 list
+)
+"phantom.ml" 41 1168 1205 "phantom.ml" 41 1168 1207
+type(
+  'a1
+)
+ident(
+  int_ref t1 "phantom.ml" 41 1168 1189 "phantom.ml" 41 1168 1191
+)
+"phantom.ml" 41 1168 1209 "phantom.ml" 41 1168 1211
+type(
+  'a1
+)
+ident(
+  int_ref t2 "phantom.ml" 41 1168 1193 "phantom.ml" 41 1168 1195
+)
+"phantom.ml" 41 1168 1213 "phantom.ml" 41 1168 1215
+type(
+  'a1
+)
+ident(
+  int_ref t3 "phantom.ml" 41 1168 1197 "phantom.ml" 41 1168 1199
+)
+"phantom.ml" 41 1168 1204 "phantom.ml" 41 1168 1216
+type(
+  'a1 * 'a1 * 'a1
+)
+"phantom.ml" 41 1168 1219 "phantom.ml" 41 1168 1220
+type(
+  'a1 list
+)
+"phantom.ml" 41 1168 1224 "phantom.ml" 41 1168 1236
+type(
+  'a1 * 'a1 * 'a1
+)
+"phantom.ml" 41 1168 1179 "phantom.ml" 41 1168 1236
+type(
+  'a1 list -> 'a1 * 'a1 * 'a1
+)
+"phantom.ml" 42 1237 1243 "phantom.ml" 42 1237 1245
+type(
+  'b1 list -> 'b1 * 'b1 * 'b1 * 'b1
+)
+ident(
+  def d4 "phantom.ml" 43 1314 1316 "phantom.ml" 50 1948 1951
+)
+"phantom.ml" 42 1237 1258 "phantom.ml" 42 1237 1260
+type(
+  'b1
+)
+ident(
+  def t1 "phantom.ml" 42 1237 1277 "phantom.ml" 42 1237 1293
+)
+"phantom.ml" 42 1237 1262 "phantom.ml" 42 1237 1264
+type(
+  'b1
+)
+ident(
+  def t2 "phantom.ml" 42 1237 1277 "phantom.ml" 42 1237 1293
+)
+"phantom.ml" 42 1237 1266 "phantom.ml" 42 1237 1268
+type(
+  'b1
+)
+ident(
+  def t3 "phantom.ml" 42 1237 1277 "phantom.ml" 42 1237 1293
+)
+"phantom.ml" 42 1237 1270 "phantom.ml" 42 1237 1272
+type(
+  'b1
+)
+ident(
+  def t4 "phantom.ml" 42 1237 1277 "phantom.ml" 42 1237 1293
+)
+"phantom.ml" 42 1237 1257 "phantom.ml" 42 1237 1273
+type(
+  'b1 list
+)
+"phantom.ml" 42 1237 1278 "phantom.ml" 42 1237 1280
+type(
+  'b1
+)
+ident(
+  int_ref t1 "phantom.ml" 42 1237 1258 "phantom.ml" 42 1237 1260
+)
+"phantom.ml" 42 1237 1282 "phantom.ml" 42 1237 1284
+type(
+  'b1
+)
+ident(
+  int_ref t2 "phantom.ml" 42 1237 1262 "phantom.ml" 42 1237 1264
+)
+"phantom.ml" 42 1237 1286 "phantom.ml" 42 1237 1288
+type(
+  'b1
+)
+ident(
+  int_ref t3 "phantom.ml" 42 1237 1266 "phantom.ml" 42 1237 1268
+)
+"phantom.ml" 42 1237 1290 "phantom.ml" 42 1237 1292
+type(
+  'b1
+)
+ident(
+  int_ref t4 "phantom.ml" 42 1237 1270 "phantom.ml" 42 1237 1272
+)
+"phantom.ml" 42 1237 1277 "phantom.ml" 42 1237 1293
+type(
+  'b1 * 'b1 * 'b1 * 'b1
+)
+"phantom.ml" 42 1237 1296 "phantom.ml" 42 1237 1297
+type(
+  'b1 list
+)
+"phantom.ml" 42 1237 1301 "phantom.ml" 42 1237 1313
+type(
+  'b1 * 'b1 * 'b1 * 'b1
+)
+"phantom.ml" 42 1237 1248 "phantom.ml" 42 1237 1313
+type(
+  'b1 list -> 'b1 * 'b1 * 'b1 * 'b1
+)
+"phantom.ml" 43 1314 1320 "phantom.ml" 43 1314 1322
+type(
+  'c1 list -> 'c1 * 'c1 * 'c1 * 'c1 * 'c1
+)
+ident(
+  def d5 "phantom.ml" 44 1399 1401 "phantom.ml" 50 1948 1951
+)
+"phantom.ml" 43 1314 1335 "phantom.ml" 43 1314 1337
+type(
+  'c1
+)
+ident(
+  def t1 "phantom.ml" 43 1314 1358 "phantom.ml" 43 1314 1378
+)
+"phantom.ml" 43 1314 1339 "phantom.ml" 43 1314 1341
+type(
+  'c1
+)
+ident(
+  def t2 "phantom.ml" 43 1314 1358 "phantom.ml" 43 1314 1378
+)
+"phantom.ml" 43 1314 1343 "phantom.ml" 43 1314 1345
+type(
+  'c1
+)
+ident(
+  def t3 "phantom.ml" 43 1314 1358 "phantom.ml" 43 1314 1378
+)
+"phantom.ml" 43 1314 1347 "phantom.ml" 43 1314 1349
+type(
+  'c1
+)
+ident(
+  def t4 "phantom.ml" 43 1314 1358 "phantom.ml" 43 1314 1378
+)
+"phantom.ml" 43 1314 1351 "phantom.ml" 43 1314 1353
+type(
+  'c1
+)
+ident(
+  def t5 "phantom.ml" 43 1314 1358 "phantom.ml" 43 1314 1378
+)
+"phantom.ml" 43 1314 1334 "phantom.ml" 43 1314 1354
+type(
+  'c1 list
+)
+"phantom.ml" 43 1314 1359 "phantom.ml" 43 1314 1361
+type(
+  'c1
+)
+ident(
+  int_ref t1 "phantom.ml" 43 1314 1335 "phantom.ml" 43 1314 1337
+)
+"phantom.ml" 43 1314 1363 "phantom.ml" 43 1314 1365
+type(
+  'c1
+)
+ident(
+  int_ref t2 "phantom.ml" 43 1314 1339 "phantom.ml" 43 1314 1341
+)
+"phantom.ml" 43 1314 1367 "phantom.ml" 43 1314 1369
+type(
+  'c1
+)
+ident(
+  int_ref t3 "phantom.ml" 43 1314 1343 "phantom.ml" 43 1314 1345
+)
+"phantom.ml" 43 1314 1371 "phantom.ml" 43 1314 1373
+type(
+  'c1
+)
+ident(
+  int_ref t4 "phantom.ml" 43 1314 1347 "phantom.ml" 43 1314 1349
+)
+"phantom.ml" 43 1314 1375 "phantom.ml" 43 1314 1377
+type(
+  'c1
+)
+ident(
+  int_ref t5 "phantom.ml" 43 1314 1351 "phantom.ml" 43 1314 1353
+)
+"phantom.ml" 43 1314 1358 "phantom.ml" 43 1314 1378
+type(
+  'c1 * 'c1 * 'c1 * 'c1 * 'c1
+)
+"phantom.ml" 43 1314 1381 "phantom.ml" 43 1314 1382
+type(
+  'c1 list
+)
+"phantom.ml" 43 1314 1386 "phantom.ml" 43 1314 1398
+type(
+  'c1 * 'c1 * 'c1 * 'c1 * 'c1
+)
+"phantom.ml" 43 1314 1325 "phantom.ml" 43 1314 1398
+type(
+  'c1 list -> 'c1 * 'c1 * 'c1 * 'c1 * 'c1
+)
+"phantom.ml" 44 1399 1405 "phantom.ml" 44 1399 1407
+type(
+  'd1 list -> 'd1 * 'd1 * 'd1 * 'd1 * 'd1 * 'd1
+)
+ident(
+  def d6 "phantom.ml" 45 1492 1494 "phantom.ml" 50 1948 1951
+)
+"phantom.ml" 44 1399 1420 "phantom.ml" 44 1399 1422
+type(
+  'd1
+)
+ident(
+  def t1 "phantom.ml" 44 1399 1447 "phantom.ml" 44 1399 1471
+)
+"phantom.ml" 44 1399 1424 "phantom.ml" 44 1399 1426
+type(
+  'd1
+)
+ident(
+  def t2 "phantom.ml" 44 1399 1447 "phantom.ml" 44 1399 1471
+)
+"phantom.ml" 44 1399 1428 "phantom.ml" 44 1399 1430
+type(
+  'd1
+)
+ident(
+  def t3 "phantom.ml" 44 1399 1447 "phantom.ml" 44 1399 1471
+)
+"phantom.ml" 44 1399 1432 "phantom.ml" 44 1399 1434
+type(
+  'd1
+)
+ident(
+  def t4 "phantom.ml" 44 1399 1447 "phantom.ml" 44 1399 1471
+)
+"phantom.ml" 44 1399 1436 "phantom.ml" 44 1399 1438
+type(
+  'd1
+)
+ident(
+  def t5 "phantom.ml" 44 1399 1447 "phantom.ml" 44 1399 1471
+)
+"phantom.ml" 44 1399 1440 "phantom.ml" 44 1399 1442
+type(
+  'd1
+)
+ident(
+  def t6 "phantom.ml" 44 1399 1447 "phantom.ml" 44 1399 1471
+)
+"phantom.ml" 44 1399 1419 "phantom.ml" 44 1399 1443
+type(
+  'd1 list
+)
+"phantom.ml" 44 1399 1448 "phantom.ml" 44 1399 1450
+type(
+  'd1
+)
+ident(
+  int_ref t1 "phantom.ml" 44 1399 1420 "phantom.ml" 44 1399 1422
+)
+"phantom.ml" 44 1399 1452 "phantom.ml" 44 1399 1454
+type(
+  'd1
+)
+ident(
+  int_ref t2 "phantom.ml" 44 1399 1424 "phantom.ml" 44 1399 1426
+)
+"phantom.ml" 44 1399 1456 "phantom.ml" 44 1399 1458
+type(
+  'd1
+)
+ident(
+  int_ref t3 "phantom.ml" 44 1399 1428 "phantom.ml" 44 1399 1430
+)
+"phantom.ml" 44 1399 1460 "phantom.ml" 44 1399 1462
+type(
+  'd1
+)
+ident(
+  int_ref t4 "phantom.ml" 44 1399 1432 "phantom.ml" 44 1399 1434
+)
+"phantom.ml" 44 1399 1464 "phantom.ml" 44 1399 1466
+type(
+  'd1
+)
+ident(
+  int_ref t5 "phantom.ml" 44 1399 1436 "phantom.ml" 44 1399 1438
+)
+"phantom.ml" 44 1399 1468 "phantom.ml" 44 1399 1470
+type(
+  'd1
+)
+ident(
+  int_ref t6 "phantom.ml" 44 1399 1440 "phantom.ml" 44 1399 1442
+)
+"phantom.ml" 44 1399 1447 "phantom.ml" 44 1399 1471
+type(
+  'd1 * 'd1 * 'd1 * 'd1 * 'd1 * 'd1
+)
+"phantom.ml" 44 1399 1474 "phantom.ml" 44 1399 1475
+type(
+  'd1 list
+)
+"phantom.ml" 44 1399 1479 "phantom.ml" 44 1399 1491
+type(
+  'd1 * 'd1 * 'd1 * 'd1 * 'd1 * 'd1
+)
+"phantom.ml" 44 1399 1410 "phantom.ml" 44 1399 1491
+type(
+  'd1 list -> 'd1 * 'd1 * 'd1 * 'd1 * 'd1 * 'd1
+)
+"phantom.ml" 45 1492 1498 "phantom.ml" 45 1492 1500
+type(
+  'e1 list -> 'e1 * 'e1 * 'e1 * 'e1 * 'e1 * 'e1 * 'e1
+)
+ident(
+  def d7 "phantom.ml" 46 1593 1595 "phantom.ml" 50 1948 1951
+)
+"phantom.ml" 45 1492 1513 "phantom.ml" 45 1492 1515
+type(
+  'e1
+)
+ident(
+  def t1 "phantom.ml" 45 1492 1544 "phantom.ml" 45 1492 1572
+)
+"phantom.ml" 45 1492 1517 "phantom.ml" 45 1492 1519
+type(
+  'e1
+)
+ident(
+  def t2 "phantom.ml" 45 1492 1544 "phantom.ml" 45 1492 1572
+)
+"phantom.ml" 45 1492 1521 "phantom.ml" 45 1492 1523
+type(
+  'e1
+)
+ident(
+  def t3 "phantom.ml" 45 1492 1544 "phantom.ml" 45 1492 1572
+)
+"phantom.ml" 45 1492 1525 "phantom.ml" 45 1492 1527
+type(
+  'e1
+)
+ident(
+  def t4 "phantom.ml" 45 1492 1544 "phantom.ml" 45 1492 1572
+)
+"phantom.ml" 45 1492 1529 "phantom.ml" 45 1492 1531
+type(
+  'e1
+)
+ident(
+  def t5 "phantom.ml" 45 1492 1544 "phantom.ml" 45 1492 1572
+)
+"phantom.ml" 45 1492 1533 "phantom.ml" 45 1492 1535
+type(
+  'e1
+)
+ident(
+  def t6 "phantom.ml" 45 1492 1544 "phantom.ml" 45 1492 1572
+)
+"phantom.ml" 45 1492 1537 "phantom.ml" 45 1492 1539
+type(
+  'e1
+)
+ident(
+  def t7 "phantom.ml" 45 1492 1544 "phantom.ml" 45 1492 1572
+)
+"phantom.ml" 45 1492 1512 "phantom.ml" 45 1492 1540
+type(
+  'e1 list
+)
+"phantom.ml" 45 1492 1545 "phantom.ml" 45 1492 1547
+type(
+  'e1
+)
+ident(
+  int_ref t1 "phantom.ml" 45 1492 1513 "phantom.ml" 45 1492 1515
+)
+"phantom.ml" 45 1492 1549 "phantom.ml" 45 1492 1551
+type(
+  'e1
+)
+ident(
+  int_ref t2 "phantom.ml" 45 1492 1517 "phantom.ml" 45 1492 1519
+)
+"phantom.ml" 45 1492 1553 "phantom.ml" 45 1492 1555
+type(
+  'e1
+)
+ident(
+  int_ref t3 "phantom.ml" 45 1492 1521 "phantom.ml" 45 1492 1523
+)
+"phantom.ml" 45 1492 1557 "phantom.ml" 45 1492 1559
+type(
+  'e1
+)
+ident(
+  int_ref t4 "phantom.ml" 45 1492 1525 "phantom.ml" 45 1492 1527
+)
+"phantom.ml" 45 1492 1561 "phantom.ml" 45 1492 1563
+type(
+  'e1
+)
+ident(
+  int_ref t5 "phantom.ml" 45 1492 1529 "phantom.ml" 45 1492 1531
+)
+"phantom.ml" 45 1492 1565 "phantom.ml" 45 1492 1567
+type(
+  'e1
+)
+ident(
+  int_ref t6 "phantom.ml" 45 1492 1533 "phantom.ml" 45 1492 1535
+)
+"phantom.ml" 45 1492 1569 "phantom.ml" 45 1492 1571
+type(
+  'e1
+)
+ident(
+  int_ref t7 "phantom.ml" 45 1492 1537 "phantom.ml" 45 1492 1539
+)
+"phantom.ml" 45 1492 1544 "phantom.ml" 45 1492 1572
+type(
+  'e1 * 'e1 * 'e1 * 'e1 * 'e1 * 'e1 * 'e1
+)
+"phantom.ml" 45 1492 1575 "phantom.ml" 45 1492 1576
+type(
+  'e1 list
+)
+"phantom.ml" 45 1492 1580 "phantom.ml" 45 1492 1592
+type(
+  'e1 * 'e1 * 'e1 * 'e1 * 'e1 * 'e1 * 'e1
+)
+"phantom.ml" 45 1492 1503 "phantom.ml" 45 1492 1592
+type(
+  'e1 list -> 'e1 * 'e1 * 'e1 * 'e1 * 'e1 * 'e1 * 'e1
+)
+"phantom.ml" 46 1593 1599 "phantom.ml" 46 1593 1601
+type(
+  'f1 list -> 'f1 * 'f1 * 'f1 * 'f1 * 'f1 * 'f1 * 'f1 * 'f1
+)
+ident(
+  def d8 "phantom.ml" 47 1702 1704 "phantom.ml" 50 1948 1951
+)
+"phantom.ml" 46 1593 1614 "phantom.ml" 46 1593 1616
+type(
+  'f1
+)
+ident(
+  def t1 "phantom.ml" 46 1593 1649 "phantom.ml" 46 1593 1681
+)
+"phantom.ml" 46 1593 1618 "phantom.ml" 46 1593 1620
+type(
+  'f1
+)
+ident(
+  def t2 "phantom.ml" 46 1593 1649 "phantom.ml" 46 1593 1681
+)
+"phantom.ml" 46 1593 1622 "phantom.ml" 46 1593 1624
+type(
+  'f1
+)
+ident(
+  def t3 "phantom.ml" 46 1593 1649 "phantom.ml" 46 1593 1681
+)
+"phantom.ml" 46 1593 1626 "phantom.ml" 46 1593 1628
+type(
+  'f1
+)
+ident(
+  def t4 "phantom.ml" 46 1593 1649 "phantom.ml" 46 1593 1681
+)
+"phantom.ml" 46 1593 1630 "phantom.ml" 46 1593 1632
+type(
+  'f1
+)
+ident(
+  def t5 "phantom.ml" 46 1593 1649 "phantom.ml" 46 1593 1681
+)
+"phantom.ml" 46 1593 1634 "phantom.ml" 46 1593 1636
+type(
+  'f1
+)
+ident(
+  def t6 "phantom.ml" 46 1593 1649 "phantom.ml" 46 1593 1681
+)
+"phantom.ml" 46 1593 1638 "phantom.ml" 46 1593 1640
+type(
+  'f1
+)
+ident(
+  def t7 "phantom.ml" 46 1593 1649 "phantom.ml" 46 1593 1681
+)
+"phantom.ml" 46 1593 1642 "phantom.ml" 46 1593 1644
+type(
+  'f1
+)
+ident(
+  def t8 "phantom.ml" 46 1593 1649 "phantom.ml" 46 1593 1681
+)
+"phantom.ml" 46 1593 1613 "phantom.ml" 46 1593 1645
+type(
+  'f1 list
+)
+"phantom.ml" 46 1593 1650 "phantom.ml" 46 1593 1652
+type(
+  'f1
+)
+ident(
+  int_ref t1 "phantom.ml" 46 1593 1614 "phantom.ml" 46 1593 1616
+)
+"phantom.ml" 46 1593 1654 "phantom.ml" 46 1593 1656
+type(
+  'f1
+)
+ident(
+  int_ref t2 "phantom.ml" 46 1593 1618 "phantom.ml" 46 1593 1620
+)
+"phantom.ml" 46 1593 1658 "phantom.ml" 46 1593 1660
+type(
+  'f1
+)
+ident(
+  int_ref t3 "phantom.ml" 46 1593 1622 "phantom.ml" 46 1593 1624
+)
+"phantom.ml" 46 1593 1662 "phantom.ml" 46 1593 1664
+type(
+  'f1
+)
+ident(
+  int_ref t4 "phantom.ml" 46 1593 1626 "phantom.ml" 46 1593 1628
+)
+"phantom.ml" 46 1593 1666 "phantom.ml" 46 1593 1668
+type(
+  'f1
+)
+ident(
+  int_ref t5 "phantom.ml" 46 1593 1630 "phantom.ml" 46 1593 1632
+)
+"phantom.ml" 46 1593 1670 "phantom.ml" 46 1593 1672
+type(
+  'f1
+)
+ident(
+  int_ref t6 "phantom.ml" 46 1593 1634 "phantom.ml" 46 1593 1636
+)
+"phantom.ml" 46 1593 1674 "phantom.ml" 46 1593 1676
+type(
+  'f1
+)
+ident(
+  int_ref t7 "phantom.ml" 46 1593 1638 "phantom.ml" 46 1593 1640
+)
+"phantom.ml" 46 1593 1678 "phantom.ml" 46 1593 1680
+type(
+  'f1
+)
+ident(
+  int_ref t8 "phantom.ml" 46 1593 1642 "phantom.ml" 46 1593 1644
+)
+"phantom.ml" 46 1593 1649 "phantom.ml" 46 1593 1681
+type(
+  'f1 * 'f1 * 'f1 * 'f1 * 'f1 * 'f1 * 'f1 * 'f1
+)
+"phantom.ml" 46 1593 1684 "phantom.ml" 46 1593 1685
+type(
+  'f1 list
+)
+"phantom.ml" 46 1593 1689 "phantom.ml" 46 1593 1701
+type(
+  'f1 * 'f1 * 'f1 * 'f1 * 'f1 * 'f1 * 'f1 * 'f1
+)
+"phantom.ml" 46 1593 1604 "phantom.ml" 46 1593 1701
+type(
+  'f1 list -> 'f1 * 'f1 * 'f1 * 'f1 * 'f1 * 'f1 * 'f1 * 'f1
+)
+"phantom.ml" 47 1702 1708 "phantom.ml" 47 1702 1710
+type(
+  'g1 list -> 'g1 * 'g1 * 'g1 * 'g1 * 'g1 * 'g1 * 'g1 * 'g1 * 'g1
+)
+ident(
+  def d9 "phantom.ml" 48 1819 1821 "phantom.ml" 50 1948 1951
+)
+"phantom.ml" 47 1702 1723 "phantom.ml" 47 1702 1725
+type(
+  'g1
+)
+ident(
+  def t1 "phantom.ml" 47 1702 1762 "phantom.ml" 47 1702 1798
+)
+"phantom.ml" 47 1702 1727 "phantom.ml" 47 1702 1729
+type(
+  'g1
+)
+ident(
+  def t2 "phantom.ml" 47 1702 1762 "phantom.ml" 47 1702 1798
+)
+"phantom.ml" 47 1702 1731 "phantom.ml" 47 1702 1733
+type(
+  'g1
+)
+ident(
+  def t3 "phantom.ml" 47 1702 1762 "phantom.ml" 47 1702 1798
+)
+"phantom.ml" 47 1702 1735 "phantom.ml" 47 1702 1737
+type(
+  'g1
+)
+ident(
+  def t4 "phantom.ml" 47 1702 1762 "phantom.ml" 47 1702 1798
+)
+"phantom.ml" 47 1702 1739 "phantom.ml" 47 1702 1741
+type(
+  'g1
+)
+ident(
+  def t5 "phantom.ml" 47 1702 1762 "phantom.ml" 47 1702 1798
+)
+"phantom.ml" 47 1702 1743 "phantom.ml" 47 1702 1745
+type(
+  'g1
+)
+ident(
+  def t6 "phantom.ml" 47 1702 1762 "phantom.ml" 47 1702 1798
+)
+"phantom.ml" 47 1702 1747 "phantom.ml" 47 1702 1749
+type(
+  'g1
+)
+ident(
+  def t7 "phantom.ml" 47 1702 1762 "phantom.ml" 47 1702 1798
+)
+"phantom.ml" 47 1702 1751 "phantom.ml" 47 1702 1753
+type(
+  'g1
+)
+ident(
+  def t8 "phantom.ml" 47 1702 1762 "phantom.ml" 47 1702 1798
+)
+"phantom.ml" 47 1702 1755 "phantom.ml" 47 1702 1757
+type(
+  'g1
+)
+ident(
+  def t9 "phantom.ml" 47 1702 1762 "phantom.ml" 47 1702 1798
+)
+"phantom.ml" 47 1702 1722 "phantom.ml" 47 1702 1758
+type(
+  'g1 list
+)
+"phantom.ml" 47 1702 1763 "phantom.ml" 47 1702 1765
+type(
+  'g1
+)
+ident(
+  int_ref t1 "phantom.ml" 47 1702 1723 "phantom.ml" 47 1702 1725
+)
+"phantom.ml" 47 1702 1767 "phantom.ml" 47 1702 1769
+type(
+  'g1
+)
+ident(
+  int_ref t2 "phantom.ml" 47 1702 1727 "phantom.ml" 47 1702 1729
+)
+"phantom.ml" 47 1702 1771 "phantom.ml" 47 1702 1773
+type(
+  'g1
+)
+ident(
+  int_ref t3 "phantom.ml" 47 1702 1731 "phantom.ml" 47 1702 1733
+)
+"phantom.ml" 47 1702 1775 "phantom.ml" 47 1702 1777
+type(
+  'g1
+)
+ident(
+  int_ref t4 "phantom.ml" 47 1702 1735 "phantom.ml" 47 1702 1737
+)
+"phantom.ml" 47 1702 1779 "phantom.ml" 47 1702 1781
+type(
+  'g1
+)
+ident(
+  int_ref t5 "phantom.ml" 47 1702 1739 "phantom.ml" 47 1702 1741
+)
+"phantom.ml" 47 1702 1783 "phantom.ml" 47 1702 1785
+type(
+  'g1
+)
+ident(
+  int_ref t6 "phantom.ml" 47 1702 1743 "phantom.ml" 47 1702 1745
+)
+"phantom.ml" 47 1702 1787 "phantom.ml" 47 1702 1789
+type(
+  'g1
+)
+ident(
+  int_ref t7 "phantom.ml" 47 1702 1747 "phantom.ml" 47 1702 1749
+)
+"phantom.ml" 47 1702 1791 "phantom.ml" 47 1702 1793
+type(
+  'g1
+)
+ident(
+  int_ref t8 "phantom.ml" 47 1702 1751 "phantom.ml" 47 1702 1753
+)
+"phantom.ml" 47 1702 1795 "phantom.ml" 47 1702 1797
+type(
+  'g1
+)
+ident(
+  int_ref t9 "phantom.ml" 47 1702 1755 "phantom.ml" 47 1702 1757
+)
+"phantom.ml" 47 1702 1762 "phantom.ml" 47 1702 1798
+type(
+  'g1 * 'g1 * 'g1 * 'g1 * 'g1 * 'g1 * 'g1 * 'g1 * 'g1
+)
+"phantom.ml" 47 1702 1801 "phantom.ml" 47 1702 1802
+type(
+  'g1 list
+)
+"phantom.ml" 47 1702 1806 "phantom.ml" 47 1702 1818
+type(
+  'g1 * 'g1 * 'g1 * 'g1 * 'g1 * 'g1 * 'g1 * 'g1 * 'g1
+)
+"phantom.ml" 47 1702 1713 "phantom.ml" 47 1702 1818
+type(
+  'g1 list -> 'g1 * 'g1 * 'g1 * 'g1 * 'g1 * 'g1 * 'g1 * 'g1 * 'g1
+)
+"phantom.ml" 48 1819 1825 "phantom.ml" 48 1819 1828
+type(
+  'h1 list -> 'h1 * 'h1 * 'h1 * 'h1 * 'h1 * 'h1 * 'h1 * 'h1 * 'h1 * 'h1
+)
+ident(
+  def d10 "phantom.ml" 48 1819 1946 "phantom.ml" 50 1948 1951
+)
+"phantom.ml" 48 1819 1841 "phantom.ml" 48 1819 1843
+type(
+  'h1
+)
+ident(
+  def t1 "phantom.ml" 48 1819 1885 "phantom.ml" 48 1819 1926
+)
+"phantom.ml" 48 1819 1845 "phantom.ml" 48 1819 1847
+type(
+  'h1
+)
+ident(
+  def t2 "phantom.ml" 48 1819 1885 "phantom.ml" 48 1819 1926
+)
+"phantom.ml" 48 1819 1849 "phantom.ml" 48 1819 1851
+type(
+  'h1
+)
+ident(
+  def t3 "phantom.ml" 48 1819 1885 "phantom.ml" 48 1819 1926
+)
+"phantom.ml" 48 1819 1853 "phantom.ml" 48 1819 1855
+type(
+  'h1
+)
+ident(
+  def t4 "phantom.ml" 48 1819 1885 "phantom.ml" 48 1819 1926
+)
+"phantom.ml" 48 1819 1857 "phantom.ml" 48 1819 1859
+type(
+  'h1
+)
+ident(
+  def t5 "phantom.ml" 48 1819 1885 "phantom.ml" 48 1819 1926
+)
+"phantom.ml" 48 1819 1861 "phantom.ml" 48 1819 1863
+type(
+  'h1
+)
+ident(
+  def t6 "phantom.ml" 48 1819 1885 "phantom.ml" 48 1819 1926
+)
+"phantom.ml" 48 1819 1865 "phantom.ml" 48 1819 1867
+type(
+  'h1
+)
+ident(
+  def t7 "phantom.ml" 48 1819 1885 "phantom.ml" 48 1819 1926
+)
+"phantom.ml" 48 1819 1869 "phantom.ml" 48 1819 1871
+type(
+  'h1
+)
+ident(
+  def t8 "phantom.ml" 48 1819 1885 "phantom.ml" 48 1819 1926
+)
+"phantom.ml" 48 1819 1873 "phantom.ml" 48 1819 1875
+type(
+  'h1
+)
+ident(
+  def t9 "phantom.ml" 48 1819 1885 "phantom.ml" 48 1819 1926
+)
+"phantom.ml" 48 1819 1877 "phantom.ml" 48 1819 1880
+type(
+  'h1
+)
+ident(
+  def t10 "phantom.ml" 48 1819 1885 "phantom.ml" 48 1819 1926
+)
+"phantom.ml" 48 1819 1840 "phantom.ml" 48 1819 1881
+type(
+  'h1 list
+)
+"phantom.ml" 48 1819 1886 "phantom.ml" 48 1819 1888
+type(
+  'h1
+)
+ident(
+  int_ref t1 "phantom.ml" 48 1819 1841 "phantom.ml" 48 1819 1843
+)
+"phantom.ml" 48 1819 1890 "phantom.ml" 48 1819 1892
+type(
+  'h1
+)
+ident(
+  int_ref t2 "phantom.ml" 48 1819 1845 "phantom.ml" 48 1819 1847
+)
+"phantom.ml" 48 1819 1894 "phantom.ml" 48 1819 1896
+type(
+  'h1
+)
+ident(
+  int_ref t3 "phantom.ml" 48 1819 1849 "phantom.ml" 48 1819 1851
+)
+"phantom.ml" 48 1819 1898 "phantom.ml" 48 1819 1900
+type(
+  'h1
+)
+ident(
+  int_ref t4 "phantom.ml" 48 1819 1853 "phantom.ml" 48 1819 1855
+)
+"phantom.ml" 48 1819 1902 "phantom.ml" 48 1819 1904
+type(
+  'h1
+)
+ident(
+  int_ref t5 "phantom.ml" 48 1819 1857 "phantom.ml" 48 1819 1859
+)
+"phantom.ml" 48 1819 1906 "phantom.ml" 48 1819 1908
+type(
+  'h1
+)
+ident(
+  int_ref t6 "phantom.ml" 48 1819 1861 "phantom.ml" 48 1819 1863
+)
+"phantom.ml" 48 1819 1910 "phantom.ml" 48 1819 1912
+type(
+  'h1
+)
+ident(
+  int_ref t7 "phantom.ml" 48 1819 1865 "phantom.ml" 48 1819 1867
+)
+"phantom.ml" 48 1819 1914 "phantom.ml" 48 1819 1916
+type(
+  'h1
+)
+ident(
+  int_ref t8 "phantom.ml" 48 1819 1869 "phantom.ml" 48 1819 1871
+)
+"phantom.ml" 48 1819 1918 "phantom.ml" 48 1819 1920
+type(
+  'h1
+)
+ident(
+  int_ref t9 "phantom.ml" 48 1819 1873 "phantom.ml" 48 1819 1875
+)
+"phantom.ml" 48 1819 1922 "phantom.ml" 48 1819 1925
+type(
+  'h1
+)
+ident(
+  int_ref t10 "phantom.ml" 48 1819 1877 "phantom.ml" 48 1819 1880
+)
+"phantom.ml" 48 1819 1885 "phantom.ml" 48 1819 1926
+type(
+  'h1 * 'h1 * 'h1 * 'h1 * 'h1 * 'h1 * 'h1 * 'h1 * 'h1 * 'h1
+)
+"phantom.ml" 48 1819 1929 "phantom.ml" 48 1819 1930
+type(
+  'h1 list
+)
+"phantom.ml" 48 1819 1934 "phantom.ml" 48 1819 1946
+type(
+  'h1 * 'h1 * 'h1 * 'h1 * 'h1 * 'h1 * 'h1 * 'h1 * 'h1 * 'h1
+)
+"phantom.ml" 48 1819 1831 "phantom.ml" 48 1819 1946
+type(
+  'h1 list -> 'h1 * 'h1 * 'h1 * 'h1 * 'h1 * 'h1 * 'h1 * 'h1 * 'h1 * 'h1
+)
Binary file added.
Binary file added.
Binary file added.
+type unknown = Phantom_intf.unknown
+
+module Make(M : sig type t end) = struct
+
+  type unknown = Phantom_intf.unknown
+  let unknown = Phantom_intf.Unknown.unknown
+
+  type elt = M.t
+  type 'a t = elt
+  type 'a ts = elt list 
+
+  let of_list v = v
+  let of_array = Array.to_list
+  let to_list v = v
+  let to_unknown_list v = v
+  let to_array = Array.of_list
+  let to_unknown_array = Array.of_list
+  let length = List.length 
+
+  let (!<) x = x
+  let (!>) x = x
+  let (!?) x = x
+  let unsafe x = x
+  let unsafe_list x = x
+  let magic x = x
+
+  let c0 = []
+  let c1 t = [t]
+  let c2 t1 t2 = [t1; t2]
+  let c3 t1 t2 t3 = [t1; t2; t3]
+  let c4 t1 t2 t3 t4 = [t1; t2; t3; t4]
+  let c5 t1 t2 t3 t4 t5 = [t1; t2; t3; t4; t5]
+  let c6 t1 t2 t3 t4 t5 t6 = [t1; t2; t3; t4; t5; t6]
+  let c7 t1 t2 t3 t4 t5 t6 t7 = [t1; t2; t3; t4; t5; t6; t7]
+  let c8 t1 t2 t3 t4 t5 t6 t7 t8 = [t1; t2; t3; t4; t5; t6; t7; t8]
+  let c9 t1 t2 t3 t4 t5 t6 t7 t8 t9 = [t1; t2; t3; t4; t5; t6; t7; t8; t9]
+  let c10 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 = [t1; t2; t3; t4; t5; t6; t7; t8; t9; t10]
+  
+  let d1 = function [t] -> t | _ -> assert false
+  let d2 = function [t1; t2] -> (t1, t2) | _ -> assert false
+  let d3 = function [t1; t2; t3] -> (t1, t2, t3) | _ -> assert false
+  let d4 = function [t1; t2; t3; t4] -> (t1, t2, t3, t4) | _ -> assert false
+  let d5 = function [t1; t2; t3; t4; t5] -> (t1, t2, t3, t4, t5) | _ -> assert false
+  let d6 = function [t1; t2; t3; t4; t5; t6] -> (t1, t2, t3, t4, t5, t6) | _ -> assert false
+  let d7 = function [t1; t2; t3; t4; t5; t6; t7] -> (t1, t2, t3, t4, t5, t6, t7) | _ -> assert false
+  let d8 = function [t1; t2; t3; t4; t5; t6; t7; t8] -> (t1, t2, t3, t4, t5, t6, t7, t8) | _ -> assert false
+  let d9 = function [t1; t2; t3; t4; t5; t6; t7; t8; t9] -> (t1, t2, t3, t4, t5, t6, t7, t8, t9) | _ -> assert false
+  let d10 = function [t1; t2; t3; t4; t5; t6; t7; t8; t9; t10] -> (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10) | _ -> assert false
+
+end
+type unknown = Phantom_intf.unknown
+    (** abstract type for the tag for "unknown phantom" *)
+
+module Make(M : sig type t end) : Phantom_intf.S 
+  with type elt = M.t 
+  and  type 'a t = M.t
+
Binary file added.
Binary file added.
Binary file added.

phantom_intf.annot

+"phantom_intf.ml" 7 161 167 "phantom_intf.ml" 7 161 174
+type(
+  unit
+)
+ident(
+  def unknown "phantom_intf.ml" 7 161 179 "phantom_intf.ml" 8 180 183
+)
+"phantom_intf.ml" 7 161 177 "phantom_intf.ml" 7 161 179
+type(
+  unit
+)

phantom_intf.cmi

Binary file added.

phantom_intf.cmo

Binary file added.

phantom_intf.cmx

Binary file added.
+(* a stupid way to avoid recursion in type definition syntax *)
+module Unknown : sig 
+  type unknown
+  val unknown : unknown
+end = struct
+  type unknown = unit 
+  let unknown = ()
+end
+
+type unknown = Unknown.unknown
+
+module type S = sig