libtyperep-camlp4-dev 113.00.00-3ubuntu1 / usr / lib / ocaml / typerep_lib / make_typename.annot

"lib/make_typename.ml" 4 61 82 "lib/make_typename.ml" 4 61 100
call(
  stack
)
"lib/make_typename.ml" 5 101 107 "lib/make_typename.ml" 5 101 120
type(
  X.t Typename.typename
)
ident(
  def typename_of_t "lib/make_typename.ml" 6 147 149 "lib/make_typename.ml" 14 415 418
)
"lib/make_typename.ml" 5 101 123 "lib/make_typename.ml" 5 101 146
type(
  X.t Typename.typename
)
ident(
  ext_ref Name_of_x.typename_of_t
)
"lib/make_typename.ml" 6 147 153 "lib/make_typename.ml" 6 147 158
type(
  X.t Std_internal.Typerep.Named.t
)
ident(
  def named "lib/make_typename.ml" 13 369 414 "lib/make_typename.ml" 14 415 418
)
"lib/make_typename.ml" 10 239 249 "lib/make_typename.ml" 10 239 266
type(
  X.t Typename.typename
)
ident(
  def typename_of_named "lib/make_typename.ml" 11 293 299 "lib/make_typename.ml" 13 369 376
)
"lib/make_typename.ml" 10 239 269 "lib/make_typename.ml" 10 239 292
type(
  X.t Typename.typename
)
ident(
  ext_ref Name_of_x.typename_of_t
)
"lib/make_typename.ml" 11 293 303 "lib/make_typename.ml" 11 293 316
type(
  X.t Typename.typename
)
ident(
  def typename_of_t "lib/make_typename.ml" 12 333 339 "lib/make_typename.ml" 13 369 376
)
"lib/make_typename.ml" 11 293 319 "lib/make_typename.ml" 11 293 332
type(
  X.t Typename.typename
)
ident(
  int_ref typename_of_t "lib/make_typename.ml" 5 101 107 "lib/make_typename.ml" 5 101 120
)
"lib/make_typename.ml" 12 333 343 "lib/make_typename.ml" 12 333 350
type(
  ('a, 'a) Type_equal.t
)
ident(
  def witness "lib/make_typename.ml" 12 333 368 "lib/make_typename.ml" 13 369 376
)
"lib/make_typename.ml" 12 333 353 "lib/make_typename.ml" 12 333 368
type(
  ('a, 'a) Type_equal.t
)
ident(
  ext_ref Type_equal.refl
)
"lib/make_typename.ml" 7 161 165 "lib/make_typename.ml" 13 369 414
type(
  X.t Std_internal.Typerep.Named.t
)
"lib/make_typename.ml" 3 19 19 "lib/make_typename.ml" 14 415 418
call(
  stack
)
"lib/make_typename.ml" 17 462 483 "lib/make_typename.ml" 17 462 501
call(
  stack
)
"lib/make_typename.ml" 18 502 508 "lib/make_typename.ml" 18 502 521
type(
  'a Typename.typename -> 'a X.t Typename.typename
)
ident(
  def typename_of_t "lib/make_typename.ml" 19 548 550 "lib/make_typename.ml" 31 967 970
)
"lib/make_typename.ml" 18 502 524 "lib/make_typename.ml" 18 502 547
type(
  'a Typename.typename -> 'a X.t Typename.typename
)
ident(
  ext_ref Name_of_x.typename_of_t
)
"lib/make_typename.ml" 19 548 554 "lib/make_typename.ml" 19 548 559
type(
  'b Std_internal.Typerep.t -> 'b X.t Std_internal.Typerep.Named.t
)
ident(
  def named "lib/make_typename.ml" 30 918 966 "lib/make_typename.ml" 31 967 970
)
"lib/make_typename.ml" 19 548 570 "lib/make_typename.ml" 19 548 575
type(
  p1 Std_internal.Typerep.t
)
ident(
  def of_p1 "lib/make_typename.ml" 20 578 582 "lib/make_typename.ml" 30 918 966
)
"lib/make_typename.ml" 20 578 586 "lib/make_typename.ml" 20 578 599
type(
  p1 X.t Typename.typename
)
ident(
  def typename_of_t "lib/make_typename.ml" 23 669 673 "lib/make_typename.ml" 30 918 966
)
"lib/make_typename.ml" 20 578 602 "lib/make_typename.ml" 20 578 625
type(
  p1 Typename.typename -> p1 X.t Typename.typename
)
ident(
  ext_ref Name_of_x.typename_of_t
)
"lib/make_typename.ml" 21 626 633 "lib/make_typename.ml" 21 626 654
type(
  p1 Std_internal.Typerep.t -> p1 Typename.typename
)
ident(
  ext_ref Std_internal.Typerep.typename_of_t
)
"lib/make_typename.ml" 21 626 655 "lib/make_typename.ml" 21 626 660
type(
  p1 Std_internal.Typerep.t
)
ident(
  int_ref of_p1 "lib/make_typename.ml" 19 548 570 "lib/make_typename.ml" 19 548 575
)
"lib/make_typename.ml" 21 626 632 "lib/make_typename.ml" 21 626 661
call(
  stack
)
type(
  p1 Typename.typename
)
"lib/make_typename.ml" 20 578 602 "lib/make_typename.ml" 21 626 661
call(
  stack
)
type(
  p1 X.t Typename.typename
)
"lib/make_typename.ml" 25 734 756 "lib/make_typename.ml" 25 734 757
type(
  p1 Std_internal.Typerep.t
)
ident(
  def a "lib/make_typename.ml" 26 766 772 "lib/make_typename.ml" 30 918 925
)
"lib/make_typename.ml" 25 734 760 "lib/make_typename.ml" 25 734 765
type(
  p1 Std_internal.Typerep.t
)
ident(
  int_ref of_p1 "lib/make_typename.ml" 19 548 570 "lib/make_typename.ml" 19 548 575
)
"lib/make_typename.ml" 27 788 798 "lib/make_typename.ml" 27 788 815
type(
  'c Typename.typename -> 'c X.t Typename.typename
)
ident(
  def typename_of_named "lib/make_typename.ml" 28 842 848 "lib/make_typename.ml" 30 918 925
)
"lib/make_typename.ml" 27 788 818 "lib/make_typename.ml" 27 788 841
type(
  'c Typename.typename -> 'c X.t Typename.typename
)
ident(
  ext_ref Name_of_x.typename_of_t
)
"lib/make_typename.ml" 28 842 852 "lib/make_typename.ml" 28 842 865
type(
  p1 X.t Typename.typename
)
ident(
  def typename_of_t "lib/make_typename.ml" 29 882 888 "lib/make_typename.ml" 30 918 925
)
"lib/make_typename.ml" 28 842 868 "lib/make_typename.ml" 28 842 881
type(
  p1 X.t Typename.typename
)
ident(
  int_ref typename_of_t "lib/make_typename.ml" 20 578 586 "lib/make_typename.ml" 20 578 599
)
"lib/make_typename.ml" 29 882 892 "lib/make_typename.ml" 29 882 899
type(
  ('d, 'd) Type_equal.t
)
ident(
  def witness "lib/make_typename.ml" 29 882 917 "lib/make_typename.ml" 30 918 925
)
"lib/make_typename.ml" 29 882 902 "lib/make_typename.ml" 29 882 917
type(
  ('d, 'd) Type_equal.t
)
ident(
  ext_ref Type_equal.refl
)
"lib/make_typename.ml" 23 669 673 "lib/make_typename.ml" 30 918 966
type(
  p1 X.t Std_internal.Typerep.Named.t
)
"lib/make_typename.ml" 20 578 582 "lib/make_typename.ml" 30 918 966
type(
  p1 X.t Std_internal.Typerep.Named.t
)
"lib/make_typename.ml" 19 548 560 "lib/make_typename.ml" 30 918 966
type(
  'b Std_internal.Typerep.t -> 'b X.t Std_internal.Typerep.Named.t
)
"lib/make_typename.ml" 16 420 420 "lib/make_typename.ml" 31 967 970
call(
  stack
)
"lib/make_typename.ml" 34 1014 1035 "lib/make_typename.ml" 34 1014 1053
call(
  stack
)
"lib/make_typename.ml" 35 1054 1060 "lib/make_typename.ml" 35 1054 1073
type(
  'a Typename.typename ->
  'b Typename.typename -> ('a, 'b) X.t Typename.typename
)
ident(
  def typename_of_t "lib/make_typename.ml" 36 1100 1102 "lib/make_typename.ml" 50 1627 1630
)
"lib/make_typename.ml" 35 1054 1076 "lib/make_typename.ml" 35 1054 1099
type(
  'a Typename.typename ->
  'b Typename.typename -> ('a, 'b) X.t Typename.typename
)
ident(
  ext_ref Name_of_x.typename_of_t
)
"lib/make_typename.ml" 36 1100 1106 "lib/make_typename.ml" 36 1100 1111
type(
  'c Std_internal.Typerep.t ->
  'd Std_internal.Typerep.t -> ('c, 'd) X.t Std_internal.Typerep.Named.t
)
ident(
  def named "lib/make_typename.ml" 49 1572 1626 "lib/make_typename.ml" 50 1627 1630
)
"lib/make_typename.ml" 36 1100 1132 "lib/make_typename.ml" 36 1100 1137
type(
  p1 Std_internal.Typerep.t
)
ident(
  def of_p1 "lib/make_typename.ml" 36 1100 1138 "lib/make_typename.ml" 49 1572 1626
)
"lib/make_typename.ml" 36 1100 1138 "lib/make_typename.ml" 36 1100 1143
type(
  p2 Std_internal.Typerep.t
)
ident(
  def of_p2 "lib/make_typename.ml" 37 1146 1150 "lib/make_typename.ml" 49 1572 1626
)
"lib/make_typename.ml" 37 1146 1154 "lib/make_typename.ml" 37 1146 1167
type(
  (p1, p2) X.t Typename.typename
)
ident(
  def typename_of_t "lib/make_typename.ml" 41 1273 1277 "lib/make_typename.ml" 49 1572 1626
)
"lib/make_typename.ml" 37 1146 1170 "lib/make_typename.ml" 37 1146 1193
type(
  p1 Typename.typename ->
  p2 Typename.typename -> (p1, p2) X.t Typename.typename
)
ident(
  ext_ref Name_of_x.typename_of_t
)
"lib/make_typename.ml" 38 1194 1201 "lib/make_typename.ml" 38 1194 1222
type(
  p1 Std_internal.Typerep.t -> p1 Typename.typename
)
ident(
  ext_ref Std_internal.Typerep.typename_of_t
)
"lib/make_typename.ml" 38 1194 1223 "lib/make_typename.ml" 38 1194 1228
type(
  p1 Std_internal.Typerep.t
)
ident(
  int_ref of_p1 "lib/make_typename.ml" 36 1100 1132 "lib/make_typename.ml" 36 1100 1137
)
"lib/make_typename.ml" 38 1194 1200 "lib/make_typename.ml" 38 1194 1229
call(
  stack
)
type(
  p1 Typename.typename
)
"lib/make_typename.ml" 39 1230 1237 "lib/make_typename.ml" 39 1230 1258
type(
  p2 Std_internal.Typerep.t -> p2 Typename.typename
)
ident(
  ext_ref Std_internal.Typerep.typename_of_t
)
"lib/make_typename.ml" 39 1230 1259 "lib/make_typename.ml" 39 1230 1264
type(
  p2 Std_internal.Typerep.t
)
ident(
  int_ref of_p2 "lib/make_typename.ml" 36 1100 1138 "lib/make_typename.ml" 36 1100 1143
)
"lib/make_typename.ml" 39 1230 1236 "lib/make_typename.ml" 39 1230 1265
call(
  stack
)
type(
  p2 Typename.typename
)
"lib/make_typename.ml" 37 1146 1170 "lib/make_typename.ml" 39 1230 1265
call(
  stack
)
type(
  (p1, p2) X.t Typename.typename
)
"lib/make_typename.ml" 43 1350 1372 "lib/make_typename.ml" 43 1350 1373
type(
  p1 Std_internal.Typerep.t
)
ident(
  def a "lib/make_typename.ml" 44 1382 1388 "lib/make_typename.ml" 49 1572 1579
)
"lib/make_typename.ml" 43 1350 1376 "lib/make_typename.ml" 43 1350 1381
type(
  p1 Std_internal.Typerep.t
)
ident(
  int_ref of_p1 "lib/make_typename.ml" 36 1100 1132 "lib/make_typename.ml" 36 1100 1137
)
"lib/make_typename.ml" 44 1382 1404 "lib/make_typename.ml" 44 1382 1405
type(
  p2 Std_internal.Typerep.t
)
ident(
  def b "lib/make_typename.ml" 45 1414 1420 "lib/make_typename.ml" 49 1572 1579
)
"lib/make_typename.ml" 44 1382 1408 "lib/make_typename.ml" 44 1382 1413
type(
  p2 Std_internal.Typerep.t
)
ident(
  int_ref of_p2 "lib/make_typename.ml" 36 1100 1138 "lib/make_typename.ml" 36 1100 1143
)
"lib/make_typename.ml" 46 1442 1452 "lib/make_typename.ml" 46 1442 1469
type(
  'e Typename.typename ->
  'f Typename.typename -> ('e, 'f) X.t Typename.typename
)
ident(
  def typename_of_named "lib/make_typename.ml" 47 1496 1502 "lib/make_typename.ml" 49 1572 1579
)
"lib/make_typename.ml" 46 1442 1472 "lib/make_typename.ml" 46 1442 1495
type(
  'e Typename.typename ->
  'f Typename.typename -> ('e, 'f) X.t Typename.typename
)
ident(
  ext_ref Name_of_x.typename_of_t
)
"lib/make_typename.ml" 47 1496 1506 "lib/make_typename.ml" 47 1496 1519
type(
  (p1, p2) X.t Typename.typename
)
ident(
  def typename_of_t "lib/make_typename.ml" 48 1536 1542 "lib/make_typename.ml" 49 1572 1579
)
"lib/make_typename.ml" 47 1496 1522 "lib/make_typename.ml" 47 1496 1535
type(
  (p1, p2) X.t Typename.typename
)
ident(
  int_ref typename_of_t "lib/make_typename.ml" 37 1146 1154 "lib/make_typename.ml" 37 1146 1167
)
"lib/make_typename.ml" 48 1536 1546 "lib/make_typename.ml" 48 1536 1553
type(
  ('g, 'g) Type_equal.t
)
ident(
  def witness "lib/make_typename.ml" 48 1536 1571 "lib/make_typename.ml" 49 1572 1579
)
"lib/make_typename.ml" 48 1536 1556 "lib/make_typename.ml" 48 1536 1571
type(
  ('g, 'g) Type_equal.t
)
ident(
  ext_ref Type_equal.refl
)
"lib/make_typename.ml" 41 1273 1277 "lib/make_typename.ml" 49 1572 1626
type(
  (p1, p2) X.t Std_internal.Typerep.Named.t
)
"lib/make_typename.ml" 37 1146 1150 "lib/make_typename.ml" 49 1572 1626
type(
  (p1, p2) X.t Std_internal.Typerep.Named.t
)
"lib/make_typename.ml" 36 1100 1122 "lib/make_typename.ml" 49 1572 1626
type(
  p1 Std_internal.Typerep.t ->
  'd Std_internal.Typerep.t -> (p1, 'd) X.t Std_internal.Typerep.Named.t
)
"lib/make_typename.ml" 36 1100 1112 "lib/make_typename.ml" 49 1572 1626
type(
  'c Std_internal.Typerep.t ->
  'd Std_internal.Typerep.t -> ('c, 'd) X.t Std_internal.Typerep.Named.t
)
"lib/make_typename.ml" 33 972 972 "lib/make_typename.ml" 50 1627 1630
call(
  stack
)
"lib/make_typename.ml" 53 1674 1695 "lib/make_typename.ml" 53 1674 1713
call(
  stack
)
"lib/make_typename.ml" 54 1714 1720 "lib/make_typename.ml" 54 1714 1733
type(
  'a Typename.typename ->
  'b Typename.typename ->
  'c Typename.typename -> ('a, 'b, 'c) X.t Typename.typename
)
ident(
  def typename_of_t "lib/make_typename.ml" 55 1760 1762 "lib/make_typename.ml" 71 2387 2390
)
"lib/make_typename.ml" 54 1714 1736 "lib/make_typename.ml" 54 1714 1759
type(
  'a Typename.typename ->
  'b Typename.typename ->
  'c Typename.typename -> ('a, 'b, 'c) X.t Typename.typename
)
ident(
  ext_ref Name_of_x.typename_of_t
)
"lib/make_typename.ml" 55 1760 1766 "lib/make_typename.ml" 55 1760 1771
type(
  'd Std_internal.Typerep.t ->
  'e Std_internal.Typerep.t ->
  'f Std_internal.Typerep.t -> ('d, 'e, 'f) X.t Std_internal.Typerep.Named.t
)
ident(
  def named "lib/make_typename.ml" 70 2328 2386 "lib/make_typename.ml" 71 2387 2390
)
"lib/make_typename.ml" 55 1760 1802 "lib/make_typename.ml" 55 1760 1807
type(
  p1 Std_internal.Typerep.t
)
ident(
  def of_p1 "lib/make_typename.ml" 55 1760 1808 "lib/make_typename.ml" 70 2328 2386
)
"lib/make_typename.ml" 55 1760 1808 "lib/make_typename.ml" 55 1760 1813
type(
  p2 Std_internal.Typerep.t
)
ident(
  def of_p2 "lib/make_typename.ml" 55 1760 1814 "lib/make_typename.ml" 70 2328 2386
)
"lib/make_typename.ml" 55 1760 1814 "lib/make_typename.ml" 55 1760 1819
type(
  p3 Std_internal.Typerep.t
)
ident(
  def of_p3 "lib/make_typename.ml" 56 1822 1826 "lib/make_typename.ml" 70 2328 2386
)
"lib/make_typename.ml" 56 1822 1830 "lib/make_typename.ml" 56 1822 1843
type(
  (p1, p2, p3) X.t Typename.typename
)
ident(
  def typename_of_t "lib/make_typename.ml" 61 1985 1989 "lib/make_typename.ml" 70 2328 2386
)
"lib/make_typename.ml" 56 1822 1846 "lib/make_typename.ml" 56 1822 1869
type(
  p1 Typename.typename ->
  p2 Typename.typename ->
  p3 Typename.typename -> (p1, p2, p3) X.t Typename.typename
)
ident(
  ext_ref Name_of_x.typename_of_t
)
"lib/make_typename.ml" 57 1870 1877 "lib/make_typename.ml" 57 1870 1898
type(
  p1 Std_internal.Typerep.t -> p1 Typename.typename
)
ident(
  ext_ref Std_internal.Typerep.typename_of_t
)
"lib/make_typename.ml" 57 1870 1899 "lib/make_typename.ml" 57 1870 1904
type(
  p1 Std_internal.Typerep.t
)
ident(
  int_ref of_p1 "lib/make_typename.ml" 55 1760 1802 "lib/make_typename.ml" 55 1760 1807
)
"lib/make_typename.ml" 57 1870 1876 "lib/make_typename.ml" 57 1870 1905
call(
  stack
)
type(
  p1 Typename.typename
)
"lib/make_typename.ml" 58 1906 1913 "lib/make_typename.ml" 58 1906 1934
type(
  p2 Std_internal.Typerep.t -> p2 Typename.typename
)
ident(
  ext_ref Std_internal.Typerep.typename_of_t
)
"lib/make_typename.ml" 58 1906 1935 "lib/make_typename.ml" 58 1906 1940
type(
  p2 Std_internal.Typerep.t
)
ident(
  int_ref of_p2 "lib/make_typename.ml" 55 1760 1808 "lib/make_typename.ml" 55 1760 1813
)
"lib/make_typename.ml" 58 1906 1912 "lib/make_typename.ml" 58 1906 1941
call(
  stack
)
type(
  p2 Typename.typename
)
"lib/make_typename.ml" 59 1942 1949 "lib/make_typename.ml" 59 1942 1970
type(
  p3 Std_internal.Typerep.t -> p3 Typename.typename
)
ident(
  ext_ref Std_internal.Typerep.typename_of_t
)
"lib/make_typename.ml" 59 1942 1971 "lib/make_typename.ml" 59 1942 1976
type(
  p3 Std_internal.Typerep.t
)
ident(
  int_ref of_p3 "lib/make_typename.ml" 55 1760 1814 "lib/make_typename.ml" 55 1760 1819
)
"lib/make_typename.ml" 59 1942 1948 "lib/make_typename.ml" 59 1942 1977
call(
  stack
)
type(
  p3 Typename.typename
)
"lib/make_typename.ml" 56 1822 1846 "lib/make_typename.ml" 59 1942 1977
call(
  stack
)
type(
  (p1, p2, p3) X.t Typename.typename
)
"lib/make_typename.ml" 63 2070 2092 "lib/make_typename.ml" 63 2070 2093
type(
  p1 Std_internal.Typerep.t
)
ident(
  def a "lib/make_typename.ml" 64 2102 2108 "lib/make_typename.ml" 70 2328 2335
)
"lib/make_typename.ml" 63 2070 2096 "lib/make_typename.ml" 63 2070 2101
type(
  p1 Std_internal.Typerep.t
)
ident(
  int_ref of_p1 "lib/make_typename.ml" 55 1760 1802 "lib/make_typename.ml" 55 1760 1807
)
"lib/make_typename.ml" 64 2102 2124 "lib/make_typename.ml" 64 2102 2125
type(
  p2 Std_internal.Typerep.t
)
ident(
  def b "lib/make_typename.ml" 65 2134 2140 "lib/make_typename.ml" 70 2328 2335
)
"lib/make_typename.ml" 64 2102 2128 "lib/make_typename.ml" 64 2102 2133
type(
  p2 Std_internal.Typerep.t
)
ident(
  int_ref of_p2 "lib/make_typename.ml" 55 1760 1808 "lib/make_typename.ml" 55 1760 1813
)
"lib/make_typename.ml" 65 2134 2156 "lib/make_typename.ml" 65 2134 2157
type(
  p3 Std_internal.Typerep.t
)
ident(
  def c "lib/make_typename.ml" 66 2166 2172 "lib/make_typename.ml" 70 2328 2335
)
"lib/make_typename.ml" 65 2134 2160 "lib/make_typename.ml" 65 2134 2165
type(
  p3 Std_internal.Typerep.t
)
ident(
  int_ref of_p3 "lib/make_typename.ml" 55 1760 1814 "lib/make_typename.ml" 55 1760 1819
)
"lib/make_typename.ml" 67 2198 2208 "lib/make_typename.ml" 67 2198 2225
type(
  'g Typename.typename ->
  'h Typename.typename ->
  'i Typename.typename -> ('g, 'h, 'i) X.t Typename.typename
)
ident(
  def typename_of_named "lib/make_typename.ml" 68 2252 2258 "lib/make_typename.ml" 70 2328 2335
)
"lib/make_typename.ml" 67 2198 2228 "lib/make_typename.ml" 67 2198 2251
type(
  'g Typename.typename ->
  'h Typename.typename ->
  'i Typename.typename -> ('g, 'h, 'i) X.t Typename.typename
)
ident(
  ext_ref Name_of_x.typename_of_t
)
"lib/make_typename.ml" 68 2252 2262 "lib/make_typename.ml" 68 2252 2275
type(
  (p1, p2, p3) X.t Typename.typename
)
ident(
  def typename_of_t "lib/make_typename.ml" 69 2292 2298 "lib/make_typename.ml" 70 2328 2335
)
"lib/make_typename.ml" 68 2252 2278 "lib/make_typename.ml" 68 2252 2291
type(
  (p1, p2, p3) X.t Typename.typename
)
ident(
  int_ref typename_of_t "lib/make_typename.ml" 56 1822 1830 "lib/make_typename.ml" 56 1822 1843
)
"lib/make_typename.ml" 69 2292 2302 "lib/make_typename.ml" 69 2292 2309
type(
  ('j, 'j) Type_equal.t
)
ident(
  def witness "lib/make_typename.ml" 69 2292 2327 "lib/make_typename.ml" 70 2328 2335
)
"lib/make_typename.ml" 69 2292 2312 "lib/make_typename.ml" 69 2292 2327
type(
  ('j, 'j) Type_equal.t
)
ident(
  ext_ref Type_equal.refl
)
"lib/make_typename.ml" 61 1985 1989 "lib/make_typename.ml" 70 2328 2386
type(
  (p1, p2, p3) X.t Std_internal.Typerep.Named.t
)
"lib/make_typename.ml" 56 1822 1826 "lib/make_typename.ml" 70 2328 2386
type(
  (p1, p2, p3) X.t Std_internal.Typerep.Named.t
)
"lib/make_typename.ml" 55 1760 1792 "lib/make_typename.ml" 70 2328 2386
type(
  p1 Std_internal.Typerep.t ->
  p2 Std_internal.Typerep.t ->
  'f Std_internal.Typerep.t -> (p1, p2, 'f) X.t Std_internal.Typerep.Named.t
)
"lib/make_typename.ml" 55 1760 1782 "lib/make_typename.ml" 70 2328 2386
type(
  p1 Std_internal.Typerep.t ->
  'e Std_internal.Typerep.t ->
  'f Std_internal.Typerep.t -> (p1, 'e, 'f) X.t Std_internal.Typerep.Named.t
)
"lib/make_typename.ml" 55 1760 1772 "lib/make_typename.ml" 70 2328 2386
type(
  'd Std_internal.Typerep.t ->
  'e Std_internal.Typerep.t ->
  'f Std_internal.Typerep.t -> ('d, 'e, 'f) X.t Std_internal.Typerep.Named.t
)
"lib/make_typename.ml" 52 1632 1632 "lib/make_typename.ml" 71 2387 2390
call(
  stack
)
"lib/make_typename.ml" 74 2434 2455 "lib/make_typename.ml" 74 2434 2473
call(
  stack
)
"lib/make_typename.ml" 75 2474 2480 "lib/make_typename.ml" 75 2474 2493
type(
  'a Typename.typename ->
  'b Typename.typename ->
  'c Typename.typename ->
  'd Typename.typename -> ('a, 'b, 'c, 'd) X.t Typename.typename
)
ident(
  def typename_of_t "lib/make_typename.ml" 76 2520 2522 "lib/make_typename.ml" 94 3247 3250
)
"lib/make_typename.ml" 75 2474 2496 "lib/make_typename.ml" 75 2474 2519
type(
  'a Typename.typename ->
  'b Typename.typename ->
  'c Typename.typename ->
  'd Typename.typename -> ('a, 'b, 'c, 'd) X.t Typename.typename
)
ident(
  ext_ref Name_of_x.typename_of_t
)
"lib/make_typename.ml" 76 2520 2526 "lib/make_typename.ml" 76 2520 2531
type(
  'e Std_internal.Typerep.t ->
  'f Std_internal.Typerep.t ->
  'g Std_internal.Typerep.t ->
  'h Std_internal.Typerep.t ->
  ('e, 'f, 'g, 'h) X.t Std_internal.Typerep.Named.t
)
ident(
  def named "lib/make_typename.ml" 93 3184 3246 "lib/make_typename.ml" 94 3247 3250
)
"lib/make_typename.ml" 76 2520 2572 "lib/make_typename.ml" 76 2520 2577
type(
  p1 Std_internal.Typerep.t
)
ident(
  def of_p1 "lib/make_typename.ml" 76 2520 2578 "lib/make_typename.ml" 93 3184 3246
)
"lib/make_typename.ml" 76 2520 2578 "lib/make_typename.ml" 76 2520 2583
type(
  p2 Std_internal.Typerep.t
)
ident(
  def of_p2 "lib/make_typename.ml" 76 2520 2584 "lib/make_typename.ml" 93 3184 3246
)
"lib/make_typename.ml" 76 2520 2584 "lib/make_typename.ml" 76 2520 2589
type(
  p3 Std_internal.Typerep.t
)
ident(
  def of_p3 "lib/make_typename.ml" 76 2520 2590 "lib/make_typename.ml" 93 3184 3246
)
"lib/make_typename.ml" 76 2520 2590 "lib/make_typename.ml" 76 2520 2595
type(
  p4 Std_internal.Typerep.t
)
ident(
  def of_p4 "lib/make_typename.ml" 77 2598 2602 "lib/make_typename.ml" 93 3184 3246
)
"lib/make_typename.ml" 77 2598 2606 "lib/make_typename.ml" 77 2598 2619
type(
  (p1, p2, p3, p4) X.t Typename.typename
)
ident(
  def typename_of_t "lib/make_typename.ml" 83 2797 2801 "lib/make_typename.ml" 93 3184 3246
)
"lib/make_typename.ml" 77 2598 2622 "lib/make_typename.ml" 77 2598 2645
type(
  p1 Typename.typename ->
  p2 Typename.typename ->
  p3 Typename.typename ->
  p4 Typename.typename -> (p1, p2, p3, p4) X.t Typename.typename
)
ident(
  ext_ref Name_of_x.typename_of_t
)
"lib/make_typename.ml" 78 2646 2653 "lib/make_typename.ml" 78 2646 2674
type(
  p1 Std_internal.Typerep.t -> p1 Typename.typename
)
ident(
  ext_ref Std_internal.Typerep.typename_of_t
)
"lib/make_typename.ml" 78 2646 2675 "lib/make_typename.ml" 78 2646 2680
type(
  p1 Std_internal.Typerep.t
)
ident(
  int_ref of_p1 "lib/make_typename.ml" 76 2520 2572 "lib/make_typename.ml" 76 2520 2577
)
"lib/make_typename.ml" 78 2646 2652 "lib/make_typename.ml" 78 2646 2681
call(
  stack
)
type(
  p1 Typename.typename
)
"lib/make_typename.ml" 79 2682 2689 "lib/make_typename.ml" 79 2682 2710
type(
  p2 Std_internal.Typerep.t -> p2 Typename.typename
)
ident(
  ext_ref Std_internal.Typerep.typename_of_t
)
"lib/make_typename.ml" 79 2682 2711 "lib/make_typename.ml" 79 2682 2716
type(
  p2 Std_internal.Typerep.t
)
ident(
  int_ref of_p2 "lib/make_typename.ml" 76 2520 2578 "lib/make_typename.ml" 76 2520 2583
)
"lib/make_typename.ml" 79 2682 2688 "lib/make_typename.ml" 79 2682 2717
call(
  stack
)
type(
  p2 Typename.typename
)
"lib/make_typename.ml" 80 2718 2725 "lib/make_typename.ml" 80 2718 2746
type(
  p3 Std_internal.Typerep.t -> p3 Typename.typename
)
ident(
  ext_ref Std_internal.Typerep.typename_of_t
)
"lib/make_typename.ml" 80 2718 2747 "lib/make_typename.ml" 80 2718 2752
type(
  p3 Std_internal.Typerep.t
)
ident(
  int_ref of_p3 "lib/make_typename.ml" 76 2520 2584 "lib/make_typename.ml" 76 2520 2589
)
"lib/make_typename.ml" 80 2718 2724 "lib/make_typename.ml" 80 2718 2753
call(
  stack
)
type(
  p3 Typename.typename
)
"lib/make_typename.ml" 81 2754 2761 "lib/make_typename.ml" 81 2754 2782
type(
  p4 Std_internal.Typerep.t -> p4 Typename.typename
)
ident(
  ext_ref Std_internal.Typerep.typename_of_t
)
"lib/make_typename.ml" 81 2754 2783 "lib/make_typename.ml" 81 2754 2788
type(
  p4 Std_internal.Typerep.t
)
ident(
  int_ref of_p4 "lib/make_typename.ml" 76 2520 2590 "lib/make_typename.ml" 76 2520 2595
)
"lib/make_typename.ml" 81 2754 2760 "lib/make_typename.ml" 81 2754 2789
call(
  stack
)
type(
  p4 Typename.typename
)
"lib/make_typename.ml" 77 2598 2622 "lib/make_typename.ml" 81 2754 2789
call(
  stack
)
type(
  (p1, p2, p3, p4) X.t Typename.typename
)
"lib/make_typename.ml" 85 2890 2912 "lib/make_typename.ml" 85 2890 2913
type(
  p1 Std_internal.Typerep.t
)
ident(
  def a "lib/make_typename.ml" 86 2922 2928 "lib/make_typename.ml" 93 3184 3191
)
"lib/make_typename.ml" 85 2890 2916 "lib/make_typename.ml" 85 2890 2921
type(
  p1 Std_internal.Typerep.t
)
ident(
  int_ref of_p1 "lib/make_typename.ml" 76 2520 2572 "lib/make_typename.ml" 76 2520 2577
)
"lib/make_typename.ml" 86 2922 2944 "lib/make_typename.ml" 86 2922 2945
type(
  p2 Std_internal.Typerep.t
)
ident(
  def b "lib/make_typename.ml" 87 2954 2960 "lib/make_typename.ml" 93 3184 3191
)
"lib/make_typename.ml" 86 2922 2948 "lib/make_typename.ml" 86 2922 2953
type(
  p2 Std_internal.Typerep.t
)
ident(
  int_ref of_p2 "lib/make_typename.ml" 76 2520 2578 "lib/make_typename.ml" 76 2520 2583
)
"lib/make_typename.ml" 87 2954 2976 "lib/make_typename.ml" 87 2954 2977
type(
  p3 Std_internal.Typerep.t
)
ident(
  def c "lib/make_typename.ml" 88 2986 2992 "lib/make_typename.ml" 93 3184 3191
)
"lib/make_typename.ml" 87 2954 2980 "lib/make_typename.ml" 87 2954 2985
type(
  p3 Std_internal.Typerep.t
)
ident(
  int_ref of_p3 "lib/make_typename.ml" 76 2520 2584 "lib/make_typename.ml" 76 2520 2589
)
"lib/make_typename.ml" 88 2986 3008 "lib/make_typename.ml" 88 2986 3009
type(
  p4 Std_internal.Typerep.t
)
ident(
  def d "lib/make_typename.ml" 89 3018 3024 "lib/make_typename.ml" 93 3184 3191
)
"lib/make_typename.ml" 88 2986 3012 "lib/make_typename.ml" 88 2986 3017
type(
  p4 Std_internal.Typerep.t
)
ident(
  int_ref of_p4 "lib/make_typename.ml" 76 2520 2590 "lib/make_typename.ml" 76 2520 2595
)
"lib/make_typename.ml" 90 3054 3064 "lib/make_typename.ml" 90 3054 3081
type(
  'i Typename.typename ->
  'j Typename.typename ->
  'k Typename.typename ->
  'l Typename.typename -> ('i, 'j, 'k, 'l) X.t Typename.typename
)
ident(
  def typename_of_named "lib/make_typename.ml" 91 3108 3114 "lib/make_typename.ml" 93 3184 3191
)
"lib/make_typename.ml" 90 3054 3084 "lib/make_typename.ml" 90 3054 3107
type(
  'i Typename.typename ->
  'j Typename.typename ->
  'k Typename.typename ->
  'l Typename.typename -> ('i, 'j, 'k, 'l) X.t Typename.typename
)
ident(
  ext_ref Name_of_x.typename_of_t
)
"lib/make_typename.ml" 91 3108 3118 "lib/make_typename.ml" 91 3108 3131
type(
  (p1, p2, p3, p4) X.t Typename.typename
)
ident(
  def typename_of_t "lib/make_typename.ml" 92 3148 3154 "lib/make_typename.ml" 93 3184 3191
)
"lib/make_typename.ml" 91 3108 3134 "lib/make_typename.ml" 91 3108 3147
type(
  (p1, p2, p3, p4) X.t Typename.typename
)
ident(
  int_ref typename_of_t "lib/make_typename.ml" 77 2598 2606 "lib/make_typename.ml" 77 2598 2619
)
"lib/make_typename.ml" 92 3148 3158 "lib/make_typename.ml" 92 3148 3165
type(
  ('m, 'm) Type_equal.t
)
ident(
  def witness "lib/make_typename.ml" 92 3148 3183 "lib/make_typename.ml" 93 3184 3191
)
"lib/make_typename.ml" 92 3148 3168 "lib/make_typename.ml" 92 3148 3183
type(
  ('m, 'm) Type_equal.t
)
ident(
  ext_ref Type_equal.refl
)
"lib/make_typename.ml" 83 2797 2801 "lib/make_typename.ml" 93 3184 3246
type(
  (p1, p2, p3, p4) X.t Std_internal.Typerep.Named.t
)
"lib/make_typename.ml" 77 2598 2602 "lib/make_typename.ml" 93 3184 3246
type(
  (p1, p2, p3, p4) X.t Std_internal.Typerep.Named.t
)
"lib/make_typename.ml" 76 2520 2562 "lib/make_typename.ml" 93 3184 3246
type(
  p1 Std_internal.Typerep.t ->
  p2 Std_internal.Typerep.t ->
  p3 Std_internal.Typerep.t ->
  'h Std_internal.Typerep.t ->
  (p1, p2, p3, 'h) X.t Std_internal.Typerep.Named.t
)
"lib/make_typename.ml" 76 2520 2552 "lib/make_typename.ml" 93 3184 3246
type(
  p1 Std_internal.Typerep.t ->
  p2 Std_internal.Typerep.t ->
  'g Std_internal.Typerep.t ->
  'h Std_internal.Typerep.t ->
  (p1, p2, 'g, 'h) X.t Std_internal.Typerep.Named.t
)
"lib/make_typename.ml" 76 2520 2542 "lib/make_typename.ml" 93 3184 3246
type(
  p1 Std_internal.Typerep.t ->
  'f Std_internal.Typerep.t ->
  'g Std_internal.Typerep.t ->
  'h Std_internal.Typerep.t ->
  (p1, 'f, 'g, 'h) X.t Std_internal.Typerep.Named.t
)
"lib/make_typename.ml" 76 2520 2532 "lib/make_typename.ml" 93 3184 3246
type(
  'e Std_internal.Typerep.t ->
  'f Std_internal.Typerep.t ->
  'g Std_internal.Typerep.t ->
  'h Std_internal.Typerep.t ->
  ('e, 'f, 'g, 'h) X.t Std_internal.Typerep.Named.t
)
"lib/make_typename.ml" 73 2392 2392 "lib/make_typename.ml" 94 3247 3250
call(
  stack
)
"lib/make_typename.ml" 97 3294 3315 "lib/make_typename.ml" 97 3294 3333
call(
  stack
)
"lib/make_typename.ml" 98 3334 3340 "lib/make_typename.ml" 98 3334 3353
type(
  'a Typename.typename ->
  'b Typename.typename ->
  'c Typename.typename ->
  'd Typename.typename ->
  'e Typename.typename -> ('a, 'b, 'c, 'd, 'e) X.t Typename.typename
)
ident(
  def typename_of_t "lib/make_typename.ml" 99 3380 3382 "lib/make_typename.ml" 121 4219 4222
)
"lib/make_typename.ml" 98 3334 3356 "lib/make_typename.ml" 98 3334 3379
type(
  'a Typename.typename ->
  'b Typename.typename ->
  'c Typename.typename ->
  'd Typename.typename ->
  'e Typename.typename -> ('a, 'b, 'c, 'd, 'e) X.t Typename.typename
)
ident(
  ext_ref Name_of_x.typename_of_t
)
"lib/make_typename.ml" 99 3380 3386 "lib/make_typename.ml" 99 3380 3391
type(
  'f Std_internal.Typerep.t ->
  'g Std_internal.Typerep.t ->
  'h Std_internal.Typerep.t ->
  'i Std_internal.Typerep.t ->
  'j Std_internal.Typerep.t ->
  ('f, 'g, 'h, 'i, 'j) X.t Std_internal.Typerep.Named.t
)
ident(
  def named "lib/make_typename.ml" 120 4152 4218 "lib/make_typename.ml" 121 4219 4222
)
"lib/make_typename.ml" 101 3448 3454 "lib/make_typename.ml" 101 3448 3459
type(
  p1 Std_internal.Typerep.t
)
ident(
  def of_p1 "lib/make_typename.ml" 101 3448 3460 "lib/make_typename.ml" 120 4152 4218
)
"lib/make_typename.ml" 101 3448 3460 "lib/make_typename.ml" 101 3448 3465
type(
  p2 Std_internal.Typerep.t
)
ident(
  def of_p2 "lib/make_typename.ml" 101 3448 3466 "lib/make_typename.ml" 120 4152 4218
)
"lib/make_typename.ml" 101 3448 3466 "lib/make_typename.ml" 101 3448 3471
type(
  p3 Std_internal.Typerep.t
)
ident(
  def of_p3 "lib/make_typename.ml" 101 3448 3472 "lib/make_typename.ml" 120 4152 4218
)
"lib/make_typename.ml" 101 3448 3472 "lib/make_typename.ml" 101 3448 3477
type(
  p4 Std_internal.Typerep.t
)
ident(
  def of_p4 "lib/make_typename.ml" 101 3448 3478 "lib/make_typename.ml" 120 4152 4218
)
"lib/make_typename.ml" 101 3448 3478 "lib/make_typename.ml" 101 3448 3483
type(
  p5 Std_internal.Typerep.t
)
ident(
  def of_p5 "lib/make_typename.ml" 102 3486 3490 "lib/make_typename.ml" 120 4152 4218
)
"lib/make_typename.ml" 102 3486 3494 "lib/make_typename.ml" 102 3486 3507
type(
  (p1, p2, p3, p4, p5) X.t Typename.typename
)
ident(
  def typename_of_t "lib/make_typename.ml" 109 3721 3725 "lib/make_typename.ml" 120 4152 4218
)
"lib/make_typename.ml" 102 3486 3510 "lib/make_typename.ml" 102 3486 3533
type(
  p1 Typename.typename ->
  p2 Typename.typename ->
  p3 Typename.typename ->
  p4 Typename.typename ->
  p5 Typename.typename -> (p1, p2, p3, p4, p5) X.t Typename.typename
)
ident(
  ext_ref Name_of_x.typename_of_t
)
"lib/make_typename.ml" 103 3534 3541 "lib/make_typename.ml" 103 3534 3562
type(
  p1 Std_internal.Typerep.t -> p1 Typename.typename
)
ident(
  ext_ref Std_internal.Typerep.typename_of_t
)
"lib/make_typename.ml" 103 3534 3563 "lib/make_typename.ml" 103 3534 3568
type(
  p1 Std_internal.Typerep.t
)
ident(
  int_ref of_p1 "lib/make_typename.ml" 101 3448 3454 "lib/make_typename.ml" 101 3448 3459
)
"lib/make_typename.ml" 103 3534 3540 "lib/make_typename.ml" 103 3534 3569
call(
  stack
)
type(
  p1 Typename.typename
)
"lib/make_typename.ml" 104 3570 3577 "lib/make_typename.ml" 104 3570 3598
type(
  p2 Std_internal.Typerep.t -> p2 Typename.typename
)
ident(
  ext_ref Std_internal.Typerep.typename_of_t
)
"lib/make_typename.ml" 104 3570 3599 "lib/make_typename.ml" 104 3570 3604
type(
  p2 Std_internal.Typerep.t
)
ident(
  int_ref of_p2 "lib/make_typename.ml" 101 3448 3460 "lib/make_typename.ml" 101 3448 3465
)
"lib/make_typename.ml" 104 3570 3576 "lib/make_typename.ml" 104 3570 3605
call(
  stack
)
type(
  p2 Typename.typename
)
"lib/make_typename.ml" 105 3606 3613 "lib/make_typename.ml" 105 3606 3634
type(
  p3 Std_internal.Typerep.t -> p3 Typename.typename
)
ident(
  ext_ref Std_internal.Typerep.typename_of_t
)
"lib/make_typename.ml" 105 3606 3635 "lib/make_typename.ml" 105 3606 3640
type(
  p3 Std_internal.Typerep.t
)
ident(
  int_ref of_p3 "lib/make_typename.ml" 101 3448 3466 "lib/make_typename.ml" 101 3448 3471
)
"lib/make_typename.ml" 105 3606 3612 "lib/make_typename.ml" 105 3606 3641
call(
  stack
)
type(
  p3 Typename.typename
)
"lib/make_typename.ml" 106 3642 3649 "lib/make_typename.ml" 106 3642 3670
type(
  p4 Std_internal.Typerep.t -> p4 Typename.typename
)
ident(
  ext_ref Std_internal.Typerep.typename_of_t
)
"lib/make_typename.ml" 106 3642 3671 "lib/make_typename.ml" 106 3642 3676
type(
  p4 Std_internal.Typerep.t
)
ident(
  int_ref of_p4 "lib/make_typename.ml" 101 3448 3472 "lib/make_typename.ml" 101 3448 3477
)
"lib/make_typename.ml" 106 3642 3648 "lib/make_typename.ml" 106 3642 3677
call(
  stack
)
type(
  p4 Typename.typename
)
"lib/make_typename.ml" 107 3678 3685 "lib/make_typename.ml" 107 3678 3706
type(
  p5 Std_internal.Typerep.t -> p5 Typename.typename
)
ident(
  ext_ref Std_internal.Typerep.typename_of_t
)
"lib/make_typename.ml" 107 3678 3707 "lib/make_typename.ml" 107 3678 3712
type(
  p5 Std_internal.Typerep.t
)
ident(
  int_ref of_p5 "lib/make_typename.ml" 101 3448 3478 "lib/make_typename.ml" 101 3448 3483
)
"lib/make_typename.ml" 107 3678 3684 "lib/make_typename.ml" 107 3678 3713
call(
  stack
)
type(
  p5 Typename.typename
)
"lib/make_typename.ml" 102 3486 3510 "lib/make_typename.ml" 107 3678 3713
call(
  stack
)
type(
  (p1, p2, p3, p4, p5) X.t Typename.typename
)
"lib/make_typename.ml" 111 3822 3844 "lib/make_typename.ml" 111 3822 3845
type(
  p1 Std_internal.Typerep.t
)
ident(
  def a "lib/make_typename.ml" 112 3854 3860 "lib/make_typename.ml" 120 4152 4159
)
"lib/make_typename.ml" 111 3822 3848 "lib/make_typename.ml" 111 3822 3853
type(
  p1 Std_internal.Typerep.t
)
ident(
  int_ref of_p1 "lib/make_typename.ml" 101 3448 3454 "lib/make_typename.ml" 101 3448 3459
)
"lib/make_typename.ml" 112 3854 3876 "lib/make_typename.ml" 112 3854 3877
type(
  p2 Std_internal.Typerep.t
)
ident(
  def b "lib/make_typename.ml" 113 3886 3892 "lib/make_typename.ml" 120 4152 4159
)
"lib/make_typename.ml" 112 3854 3880 "lib/make_typename.ml" 112 3854 3885
type(
  p2 Std_internal.Typerep.t
)
ident(
  int_ref of_p2 "lib/make_typename.ml" 101 3448 3460 "lib/make_typename.ml" 101 3448 3465
)
"lib/make_typename.ml" 113 3886 3908 "lib/make_typename.ml" 113 3886 3909
type(
  p3 Std_internal.Typerep.t
)
ident(
  def c "lib/make_typename.ml" 114 3918 3924 "lib/make_typename.ml" 120 4152 4159
)
"lib/make_typename.ml" 113 3886 3912 "lib/make_typename.ml" 113 3886 3917
type(
  p3 Std_internal.Typerep.t
)
ident(
  int_ref of_p3 "lib/make_typename.ml" 101 3448 3466 "lib/make_typename.ml" 101 3448 3471
)
"lib/make_typename.ml" 114 3918 3940 "lib/make_typename.ml" 114 3918 3941
type(
  p4 Std_internal.Typerep.t
)
ident(
  def d "lib/make_typename.ml" 115 3950 3956 "lib/make_typename.ml" 120 4152 4159
)
"lib/make_typename.ml" 114 3918 3944 "lib/make_typename.ml" 114 3918 3949
type(
  p4 Std_internal.Typerep.t
)
ident(
  int_ref of_p4 "lib/make_typename.ml" 101 3448 3472 "lib/make_typename.ml" 101 3448 3477
)
"lib/make_typename.ml" 115 3950 3972 "lib/make_typename.ml" 115 3950 3973
type(
  p5 Std_internal.Typerep.t
)
ident(
  def e "lib/make_typename.ml" 116 3982 3988 "lib/make_typename.ml" 120 4152 4159
)
"lib/make_typename.ml" 115 3950 3976 "lib/make_typename.ml" 115 3950 3981
type(
  p5 Std_internal.Typerep.t
)
ident(
  int_ref of_p5 "lib/make_typename.ml" 101 3448 3478 "lib/make_typename.ml" 101 3448 3483
)
"lib/make_typename.ml" 117 4022 4032 "lib/make_typename.ml" 117 4022 4049
type(
  'k Typename.typename ->
  'l Typename.typename ->
  'm Typename.typename ->
  'n Typename.typename ->
  'o Typename.typename -> ('k, 'l, 'm, 'n, 'o) X.t Typename.typename
)
ident(
  def typename_of_named "lib/make_typename.ml" 118 4076 4082 "lib/make_typename.ml" 120 4152 4159
)
"lib/make_typename.ml" 117 4022 4052 "lib/make_typename.ml" 117 4022 4075
type(
  'k Typename.typename ->
  'l Typename.typename ->
  'm Typename.typename ->
  'n Typename.typename ->
  'o Typename.typename -> ('k, 'l, 'm, 'n, 'o) X.t Typename.typename
)
ident(
  ext_ref Name_of_x.typename_of_t
)
"lib/make_typename.ml" 118 4076 4086 "lib/make_typename.ml" 118 4076 4099
type(
  (p1, p2, p3, p4, p5) X.t Typename.typename
)
ident(
  def typename_of_t "lib/make_typename.ml" 119 4116 4122 "lib/make_typename.ml" 120 4152 4159
)
"lib/make_typename.ml" 118 4076 4102 "lib/make_typename.ml" 118 4076 4115
type(
  (p1, p2, p3, p4, p5) X.t Typename.typename
)
ident(
  int_ref typename_of_t "lib/make_typename.ml" 102 3486 3494 "lib/make_typename.ml" 102 3486 3507
)
"lib/make_typename.ml" 119 4116 4126 "lib/make_typename.ml" 119 4116 4133
type(
  ('p, 'p) Type_equal.t
)
ident(
  def witness "lib/make_typename.ml" 119 4116 4151 "lib/make_typename.ml" 120 4152 4159
)
"lib/make_typename.ml" 119 4116 4136 "lib/make_typename.ml" 119 4116 4151
type(
  ('p, 'p) Type_equal.t
)
ident(
  ext_ref Type_equal.refl
)
"lib/make_typename.ml" 109 3721 3725 "lib/make_typename.ml" 120 4152 4218
type(
  (p1, p2, p3, p4, p5) X.t Std_internal.Typerep.Named.t
)
"lib/make_typename.ml" 102 3486 3490 "lib/make_typename.ml" 120 4152 4218
type(
  (p1, p2, p3, p4, p5) X.t Std_internal.Typerep.Named.t
)
"lib/make_typename.ml" 100 3392 3438 "lib/make_typename.ml" 120 4152 4218
type(
  p1 Std_internal.Typerep.t ->
  p2 Std_internal.Typerep.t ->
  p3 Std_internal.Typerep.t ->
  p4 Std_internal.Typerep.t ->
  'j Std_internal.Typerep.t ->
  (p1, p2, p3, p4, 'j) X.t Std_internal.Typerep.Named.t
)
"lib/make_typename.ml" 100 3392 3428 "lib/make_typename.ml" 120 4152 4218
type(
  p1 Std_internal.Typerep.t ->
  p2 Std_internal.Typerep.t ->
  p3 Std_internal.Typerep.t ->
  'i Std_internal.Typerep.t ->
  'j Std_internal.Typerep.t ->
  (p1, p2, p3, 'i, 'j) X.t Std_internal.Typerep.Named.t
)
"lib/make_typename.ml" 100 3392 3418 "lib/make_typename.ml" 120 4152 4218
type(
  p1 Std_internal.Typerep.t ->
  p2 Std_internal.Typerep.t ->
  'h Std_internal.Typerep.t ->
  'i Std_internal.Typerep.t ->
  'j Std_internal.Typerep.t ->
  (p1, p2, 'h, 'i, 'j) X.t Std_internal.Typerep.Named.t
)
"lib/make_typename.ml" 100 3392 3408 "lib/make_typename.ml" 120 4152 4218
type(
  p1 Std_internal.Typerep.t ->
  'g Std_internal.Typerep.t ->
  'h Std_internal.Typerep.t ->
  'i Std_internal.Typerep.t ->
  'j Std_internal.Typerep.t ->
  (p1, 'g, 'h, 'i, 'j) X.t Std_internal.Typerep.Named.t
)
"lib/make_typename.ml" 100 3392 3398 "lib/make_typename.ml" 120 4152 4218
type(
  'f Std_internal.Typerep.t ->
  'g Std_internal.Typerep.t ->
  'h Std_internal.Typerep.t ->
  'i Std_internal.Typerep.t ->
  'j Std_internal.Typerep.t ->
  ('f, 'g, 'h, 'i, 'j) X.t Std_internal.Typerep.Named.t
)
"lib/make_typename.ml" 96 3252 3252 "lib/make_typename.ml" 121 4219 4222
call(
  stack
)