diff options
author | Samuel Mimram <smimram@debian.org> | 2008-07-25 15:12:53 +0200 |
---|---|---|
committer | Samuel Mimram <smimram@debian.org> | 2008-07-25 15:12:53 +0200 |
commit | a0cfa4f118023d35b767a999d5a2ac4b082857b4 (patch) | |
tree | dabcac548e299fee1da464c93b3dba98484f45b1 /dev/ocamlweb-doc/kernel.dep.ps | |
parent | 2281410e38ef99d025ea77194585a9bc019fdaa9 (diff) |
Imported Upstream version 8.2~beta3+dfsgupstream/8.2.beta3+dfsg
Diffstat (limited to 'dev/ocamlweb-doc/kernel.dep.ps')
-rw-r--r-- | dev/ocamlweb-doc/kernel.dep.ps | 2343 |
1 files changed, 1160 insertions, 1183 deletions
diff --git a/dev/ocamlweb-doc/kernel.dep.ps b/dev/ocamlweb-doc/kernel.dep.ps index 3c00121e..b7b4137b 100644 --- a/dev/ocamlweb-doc/kernel.dep.ps +++ b/dev/ocamlweb-doc/kernel.dep.ps @@ -1,9 +1,9 @@ %!PS-Adobe-2.0 -%%Creator: dot version 2.2 (Wed Jan 19 21:09:25 UTC 2005) -%%For: (herbelin) Hugo Herbelin +%%Creator: Graphviz version 2.12 (Tue Oct 23 13:46:12 UTC 2007) +%%For: (notin) Jean-Marc Notin,,, %%Title: G %%Pages: (atend) -%%BoundingBox: 35 35 577 127 +%%BoundingBox: (atend) %%EndComments save %%BeginProlog @@ -16,57 +16,7 @@ mark EncodingVector 0 ISOLatin1Encoding 0 255 getinterval putinterval - -EncodingVector - dup 306 /AE - dup 301 /Aacute - dup 302 /Acircumflex - dup 304 /Adieresis - dup 300 /Agrave - dup 305 /Aring - dup 303 /Atilde - dup 307 /Ccedilla - dup 311 /Eacute - dup 312 /Ecircumflex - dup 313 /Edieresis - dup 310 /Egrave - dup 315 /Iacute - dup 316 /Icircumflex - dup 317 /Idieresis - dup 314 /Igrave - dup 334 /Udieresis - dup 335 /Yacute - dup 376 /thorn - dup 337 /germandbls - dup 341 /aacute - dup 342 /acircumflex - dup 344 /adieresis - dup 346 /ae - dup 340 /agrave - dup 345 /aring - dup 347 /ccedilla - dup 351 /eacute - dup 352 /ecircumflex - dup 353 /edieresis - dup 350 /egrave - dup 355 /iacute - dup 356 /icircumflex - dup 357 /idieresis - dup 354 /igrave - dup 360 /dcroat - dup 361 /ntilde - dup 363 /oacute - dup 364 /ocircumflex - dup 366 /odieresis - dup 362 /ograve - dup 365 /otilde - dup 370 /oslash - dup 372 /uacute - dup 373 /ucircumflex - dup 374 /udieresis - dup 371 /ugrave - dup 375 /yacute - dup 377 /ydieresis +EncodingVector 45 /hyphen put % Set up ISO Latin 1 character encoding /starnetISO { @@ -98,8 +48,8 @@ cleartomark /InvScaleFactor 1.0 def /set_scale { - dup 1 exch div /InvScaleFactor exch def - dup scale + dup 1 exch div /InvScaleFactor exch def + scale } bind def % styles @@ -229,1219 +179,1245 @@ def } if %%EndSetup +setupLatin1 %%Page: 1 1 -%%PageBoundingBox: 36 36 577 127 -%%PageOrientation: Portrait +%%PageBoundingBox: 36 36 535 756 +%%PageOrientation: Landscape gsave -35 35 542 92 boxprim clip newpath -36 36 translate +36 36 535 756 boxprim clip newpath 0 0 1 beginpage -0.2845 set_scale -0 0 translate 0 rotate -0.000 0.000 0.000 graphcolor +0.393658 0.393658 set_scale 90 rotate 95.45 -1355.45 translate +0.000 0.000 1.000 graphcolor +newpath -4 -4 moveto +-4 1264 lineto +1825 1264 lineto +1825 -4 lineto +closepath fill +0.393658 setlinewidth +0.000 0.000 1.000 graphcolor +newpath -4 -4 moveto +-4 1264 lineto +1825 1264 lineto +1825 -4 lineto +closepath stroke +% Cbytecodes +gsave +0.502 1.000 0.820 nodecolor +1258 234 45.1777 18 ellipse_path fill +0.393658 setlinewidth +filled +0.502 1.000 0.820 nodecolor +1258 234 45.1777 18 ellipse_path stroke +0.000 0.000 0.000 nodecolor 14.00 /Times-Roman set_font - -% Vm -gsave 10 dict begin -801 294 27 18 ellipse_path -stroke -gsave 10 dict begin -789 289 moveto -(Vm) -[10.08 10.8] -xshow -end grestore -end grestore - -% Cemitcodes -gsave 10 dict begin -1427 200 46 18 ellipse_path -stroke -gsave 10 dict begin -1393 195 moveto -(Cemitcodes) -[9.36 6.24 10.8 3.84 3.84 6.24 6.96 6.96 6.24 5.52] -xshow -end grestore -end grestore - -% Vm -> Cemitcodes -newpath 826 287 moveto -871 276 969 254 1053 254 curveto -1053 254 1053 254 1174 254 curveto -1249 254 1332 231 1382 215 curveto +1258 229 moveto 64 -0.5 (Cbytecodes) alignedtext +grestore +% Term +gsave +0.502 1.000 0.820 nodecolor +1093 162 28.1746 18 ellipse_path fill +0.393658 setlinewidth +filled +0.502 1.000 0.820 nodecolor +1093 162 28.1746 18 ellipse_path stroke +0.000 0.000 0.000 nodecolor +14.00 /Times-Roman set_font +1093 157 moveto 31 -0.5 (Term) alignedtext +grestore +% Cbytecodes->Term +gsave +0.393658 setlinewidth +0.000 0.000 0.000 edgecolor +newpath 1227 221 moveto +1198 208 1155 189 1125 176 curveto stroke -gsave 10 dict begin +0.000 0.000 0.000 edgecolor +newpath 1126.56 172.863 moveto +1116 172 lineto +1123.72 179.26 lineto +closepath fill +0.393658 setlinewidth solid -1 setlinewidth -0.000 0.000 0.000 edgecolor -newpath 1383 218 moveto -1392 212 lineto -1381 212 lineto -closepath -fill -0.000 0.000 0.000 edgecolor -newpath 1383 218 moveto -1392 212 lineto -1381 212 lineto -closepath -stroke -end grestore - -% Conv_oracle -gsave 10 dict begin -1053 300 48 18 ellipse_path -stroke -gsave 10 dict begin -1017 295 moveto -(Conv_oracle) -[9.36 6.96 6.48 6.96 6.96 6.96 4.56 6.24 6.24 3.84 6.24] -xshow -end grestore -end grestore - -% Vm -> Conv_oracle -newpath 828 295 moveto -868 296 942 298 995 299 curveto +0.000 0.000 0.000 edgecolor +newpath 1126.56 172.863 moveto +1116 172 lineto +1123.72 179.26 lineto +closepath stroke +grestore +% Esubst +gsave +0.502 1.000 0.820 nodecolor +1093 90 31.1748 18 ellipse_path fill +0.393658 setlinewidth +filled +0.502 1.000 0.820 nodecolor +1093 90 31.1748 18 ellipse_path stroke +0.000 0.000 0.000 nodecolor +14.00 /Times-Roman set_font +1093 85 moveto 37 -0.5 (Esubst) alignedtext +grestore +% Term->Esubst +gsave +0.393658 setlinewidth +0.000 0.000 0.000 edgecolor +newpath 1093 144 moveto +1093 136 1093 127 1093 118 curveto stroke -gsave 10 dict begin +0.000 0.000 0.000 edgecolor +newpath 1096.5 118 moveto +1093 108 lineto +1089.5 118 lineto +closepath fill +0.393658 setlinewidth solid -1 setlinewidth -0.000 0.000 0.000 edgecolor -newpath 995 303 moveto -1005 299 lineto -995 296 lineto -closepath -fill -0.000 0.000 0.000 edgecolor -newpath 995 303 moveto -1005 299 lineto -995 296 lineto -closepath -stroke -end grestore - -% Mod_subst -gsave 10 dict begin -1556 146 45 18 ellipse_path -stroke -gsave 10 dict begin -1524 141 moveto -(Mod_subst) -[12.48 6.96 6.96 6.96 5.52 6.96 6.96 5.28 3.84] -xshow -end grestore -end grestore - -% Cemitcodes -> Mod_subst -newpath 1459 187 moveto -1476 180 1497 171 1516 163 curveto +0.000 0.000 0.000 edgecolor +newpath 1096.5 118 moveto +1093 108 lineto +1089.5 118 lineto +closepath stroke +grestore +% Univ +gsave +0.502 1.000 0.820 nodecolor +580 90 27.1777 18 ellipse_path fill +0.393658 setlinewidth +filled +0.502 1.000 0.820 nodecolor +580 90 27.1777 18 ellipse_path stroke +0.000 0.000 0.000 nodecolor +14.00 /Times-Roman set_font +580 85 moveto 28 -0.5 (Univ) alignedtext +grestore +% Term->Univ +gsave +0.393658 setlinewidth +0.000 0.000 0.000 edgecolor +newpath 1065 158 moveto +979 145 714 109 616 95 curveto stroke -gsave 10 dict begin +0.000 0.000 0.000 edgecolor +newpath 616.299 91.5125 moveto +606 94 lineto +615.602 98.4778 lineto +closepath fill +0.393658 setlinewidth solid -1 setlinewidth -0.000 0.000 0.000 edgecolor -newpath 1517 166 moveto -1525 159 lineto -1514 160 lineto -closepath -fill -0.000 0.000 0.000 edgecolor -newpath 1517 166 moveto -1525 159 lineto -1514 160 lineto -closepath -stroke -end grestore - -% Cbytecodes -gsave 10 dict begin -1556 200 45 18 ellipse_path -stroke -gsave 10 dict begin -1523 195 moveto -(Cbytecodes) -[9.36 6.48 6.96 3.84 6.24 6.24 6.96 6.96 6.24 5.52] -xshow -end grestore -end grestore - -% Cemitcodes -> Cbytecodes -newpath 1474 200 moveto -1482 200 1491 200 1500 200 curveto +0.000 0.000 0.000 edgecolor +newpath 616.299 91.5125 moveto +606 94 lineto +615.602 98.4778 lineto +closepath stroke +grestore +% Cbytegen +gsave +0.502 1.000 0.820 nodecolor +1148 522 39.1754 18 ellipse_path fill +0.393658 setlinewidth +filled +0.502 1.000 0.820 nodecolor +1148 522 39.1754 18 ellipse_path stroke +0.000 0.000 0.000 nodecolor +14.00 /Times-Roman set_font +1148 517 moveto 53 -0.5 (Cbytegen) alignedtext +grestore +% Pre_env +gsave +0.502 1.000 0.820 nodecolor +1148 450 36.1777 18 ellipse_path fill +0.393658 setlinewidth +filled +0.502 1.000 0.820 nodecolor +1148 450 36.1777 18 ellipse_path stroke +0.000 0.000 0.000 nodecolor +14.00 /Times-Roman set_font +1148 445 moveto 46 -0.5 (Pre_env) alignedtext +grestore +% Cbytegen->Pre_env +gsave +0.393658 setlinewidth +0.000 0.000 0.000 edgecolor +newpath 1148 504 moveto +1148 496 1148 487 1148 478 curveto stroke -gsave 10 dict begin +0.000 0.000 0.000 edgecolor +newpath 1151.5 478 moveto +1148 468 lineto +1144.5 478 lineto +closepath fill +0.393658 setlinewidth solid -1 setlinewidth -0.000 0.000 0.000 edgecolor -newpath 1500 204 moveto -1510 200 lineto -1500 197 lineto -closepath -fill -0.000 0.000 0.000 edgecolor -newpath 1500 204 moveto -1510 200 lineto -1500 197 lineto -closepath -stroke -end grestore - -% Copcodes -gsave 10 dict begin -1556 254 41 18 ellipse_path -stroke -gsave 10 dict begin -1528 249 moveto -(Copcodes) -[9.36 6.96 6.96 6.24 6.96 6.96 6.24 5.52] -xshow -end grestore -end grestore - -% Cemitcodes -> Copcodes -newpath 1459 213 moveto -1476 221 1498 230 1517 237 curveto +0.000 0.000 0.000 edgecolor +newpath 1151.5 478 moveto +1148 468 lineto +1144.5 478 lineto +closepath stroke +grestore +% Declarations +gsave +0.502 1.000 0.820 nodecolor +1148 378 48.1777 18 ellipse_path fill +0.393658 setlinewidth +filled +0.502 1.000 0.820 nodecolor +1148 378 48.1777 18 ellipse_path stroke +0.000 0.000 0.000 nodecolor +14.00 /Times-Roman set_font +1148 373 moveto 70 -0.5 (Declarations) alignedtext +grestore +% Pre_env->Declarations +gsave +0.393658 setlinewidth +0.000 0.000 0.000 edgecolor +newpath 1148 432 moveto +1148 424 1148 415 1148 406 curveto stroke -gsave 10 dict begin +0.000 0.000 0.000 edgecolor +newpath 1151.5 406 moveto +1148 396 lineto +1144.5 406 lineto +closepath fill +0.393658 setlinewidth solid -1 setlinewidth -0.000 0.000 0.000 edgecolor -newpath 1515 240 moveto -1526 241 lineto -1518 234 lineto -closepath -fill -0.000 0.000 0.000 edgecolor -newpath 1515 240 moveto -1526 241 lineto -1518 234 lineto -closepath -stroke -end grestore - -% Names -gsave 10 dict begin -1865 270 33 18 ellipse_path -stroke -gsave 10 dict begin -1845 265 moveto -(Names) -[9.6 6.24 10.8 6.24 5.52] -xshow -end grestore -end grestore - -% Conv_oracle -> Names -newpath 1102 300 moveto -1151 300 1228 300 1295 300 curveto -1295 300 1295 300 1666 300 curveto -1722 300 1785 288 1825 279 curveto +0.000 0.000 0.000 edgecolor +newpath 1151.5 406 moveto +1148 396 lineto +1144.5 406 lineto +closepath stroke +grestore +% Cemitcodes +gsave +0.502 1.000 0.820 nodecolor +663 306 45.1757 18 ellipse_path fill +0.393658 setlinewidth +filled +0.502 1.000 0.820 nodecolor +663 306 45.1757 18 ellipse_path stroke +0.000 0.000 0.000 nodecolor +14.00 /Times-Roman set_font +663 301 moveto 65 -0.5 (Cemitcodes) alignedtext +grestore +% Cemitcodes->Cbytecodes +gsave +0.393658 setlinewidth +0.000 0.000 0.000 edgecolor +newpath 706 301 moveto +813 287 1088 254 1205 240 curveto stroke -gsave 10 dict begin +0.000 0.000 0.000 edgecolor +newpath 1205.4 243.478 moveto +1215 239 lineto +1204.7 236.512 lineto +closepath fill +0.393658 setlinewidth solid -1 setlinewidth -0.000 0.000 0.000 edgecolor -newpath 1826 282 moveto -1835 277 lineto -1825 276 lineto -closepath -fill -0.000 0.000 0.000 edgecolor -newpath 1826 282 moveto -1835 277 lineto -1825 276 lineto -closepath -stroke -end grestore - -% Vconv -gsave 10 dict begin -552 202 32 18 ellipse_path -stroke -gsave 10 dict begin -533 197 moveto -(Vconv) -[10.08 6.24 6.96 6.48 6.96] -xshow -end grestore -end grestore - -% Csymtable -gsave 10 dict begin -674 202 43 18 ellipse_path -stroke -gsave 10 dict begin -643 197 moveto -(Csymtable) -[9.36 5.52 6.96 10.8 4.08 6.24 6.96 3.84 6.24] -xshow -end grestore -end grestore - -% Vconv -> Csymtable -newpath 584 202 moveto -595 202 608 202 620 202 curveto +0.000 0.000 0.000 edgecolor +newpath 1205.4 243.478 moveto +1215 239 lineto +1204.7 236.512 lineto +closepath stroke +grestore +% Copcodes +gsave +0.502 1.000 0.820 nodecolor +786 234 40.1777 18 ellipse_path fill +0.393658 setlinewidth +filled +0.502 1.000 0.820 nodecolor +786 234 40.1777 18 ellipse_path stroke +0.000 0.000 0.000 nodecolor +14.00 /Times-Roman set_font +786 229 moveto 54 -0.5 (Copcodes) alignedtext +grestore +% Cemitcodes->Copcodes +gsave +0.393658 setlinewidth +0.000 0.000 0.000 edgecolor +newpath 688 291 moveto +707 281 732 266 752 253 curveto stroke -gsave 10 dict begin +0.000 0.000 0.000 edgecolor +newpath 753.958 255.916 moveto +761 248 lineto +750.559 249.797 lineto +closepath fill +0.393658 setlinewidth solid -1 setlinewidth -0.000 0.000 0.000 edgecolor -newpath 620 206 moveto -630 202 lineto -620 199 lineto -closepath -fill -0.000 0.000 0.000 edgecolor -newpath 620 206 moveto -630 202 lineto -620 199 lineto -closepath -stroke -end grestore - -% Inductive -gsave 10 dict begin -674 110 39 18 ellipse_path -stroke -gsave 10 dict begin -647 105 moveto -(Inductive) -[4.56 6.96 6.96 6.96 6.24 3.84 3.84 6.48 6.24] -xshow -end grestore -end grestore - -% Vconv -> Inductive -newpath 571 187 moveto -591 172 622 149 645 132 curveto +0.000 0.000 0.000 edgecolor +newpath 753.958 255.916 moveto +761 248 lineto +750.559 249.797 lineto +closepath stroke +grestore +% Mod_subst +gsave +0.502 1.000 0.820 nodecolor +325 234 43.1756 18 ellipse_path fill +0.393658 setlinewidth +filled +0.502 1.000 0.820 nodecolor +325 234 43.1756 18 ellipse_path stroke +0.000 0.000 0.000 nodecolor +14.00 /Times-Roman set_font +325 229 moveto 61 -0.5 (Mod_subst) alignedtext +grestore +% Cemitcodes->Mod_subst +gsave +0.393658 setlinewidth +0.000 0.000 0.000 edgecolor +newpath 623 298 moveto +561 284 441 259 374 244 curveto stroke -gsave 10 dict begin +0.000 0.000 0.000 edgecolor +newpath 374.492 240.529 moveto +364 242 lineto +373.119 247.393 lineto +closepath fill +0.393658 setlinewidth solid -1 setlinewidth -0.000 0.000 0.000 edgecolor -newpath 647 135 moveto -653 126 lineto -643 129 lineto -closepath -fill -0.000 0.000 0.000 edgecolor -newpath 647 135 moveto -653 126 lineto -643 129 lineto -closepath -stroke -end grestore - -% Csymtable -> Vm -newpath 696 218 moveto -717 234 751 258 775 275 curveto +0.000 0.000 0.000 edgecolor +newpath 374.492 240.529 moveto +364 242 lineto +373.119 247.393 lineto +closepath stroke +grestore +% Mod_subst->Term +gsave +0.393658 setlinewidth +0.000 0.000 0.000 edgecolor +newpath 367 230 moveto +502 217 925 178 1055 166 curveto stroke -gsave 10 dict begin +0.000 0.000 0.000 edgecolor +newpath 1055.4 169.478 moveto +1065 165 lineto +1054.7 162.512 lineto +closepath fill +0.393658 setlinewidth solid -1 setlinewidth -0.000 0.000 0.000 edgecolor -newpath 773 278 moveto -783 281 lineto -777 272 lineto -closepath -fill -0.000 0.000 0.000 edgecolor -newpath 773 278 moveto -783 281 lineto -777 272 lineto -closepath -stroke -end grestore - -% Cbytegen -gsave 10 dict begin -801 164 39 18 ellipse_path -stroke -gsave 10 dict begin -774 159 moveto -(Cbytegen) -[9.36 6.48 6.96 3.84 6.24 6.72 6.24 6.96] -xshow -end grestore -end grestore - -% Csymtable -> Cbytegen -newpath 709 191 moveto -724 187 742 181 758 177 curveto +0.000 0.000 0.000 edgecolor +newpath 1055.4 169.478 moveto +1065 165 lineto +1054.7 162.512 lineto +closepath stroke +grestore +% Closure +gsave +0.502 1.000 0.820 nodecolor +713 666 34.1751 18 ellipse_path fill +0.393658 setlinewidth +filled +0.502 1.000 0.820 nodecolor +713 666 34.1751 18 ellipse_path stroke +0.000 0.000 0.000 nodecolor +14.00 /Times-Roman set_font +713 661 moveto 43 -0.5 (Closure) alignedtext +grestore +% Environ +gsave +0.502 1.000 0.820 nodecolor +1148 594 36.1777 18 ellipse_path fill +0.393658 setlinewidth +filled +0.502 1.000 0.820 nodecolor +1148 594 36.1777 18 ellipse_path stroke +0.000 0.000 0.000 nodecolor +14.00 /Times-Roman set_font +1148 589 moveto 46 -0.5 (Environ) alignedtext +grestore +% Closure->Environ +gsave +0.393658 setlinewidth +0.000 0.000 0.000 edgecolor +newpath 746 661 moveto +823 648 1016 616 1104 602 curveto stroke -gsave 10 dict begin +0.000 0.000 0.000 edgecolor +newpath 1104.88 605.393 moveto +1114 600 lineto +1103.51 598.529 lineto +closepath fill +0.393658 setlinewidth solid -1 setlinewidth -0.000 0.000 0.000 edgecolor -newpath 759 180 moveto -768 174 lineto -757 174 lineto -closepath -fill -0.000 0.000 0.000 edgecolor -newpath 759 180 moveto -768 174 lineto -757 174 lineto -closepath -stroke -end grestore - -% Type_errors -gsave 10 dict begin -801 110 47 18 ellipse_path -stroke -gsave 10 dict begin -767 105 moveto -(Type_errors) -[6.96 6.96 6.96 6.24 6.96 6.24 5.04 4.56 6.96 4.56 5.52] -xshow -end grestore -end grestore - -% Inductive -> Type_errors -newpath 714 110 moveto -724 110 734 110 744 110 curveto +0.000 0.000 0.000 edgecolor +newpath 1104.88 605.393 moveto +1114 600 lineto +1103.51 598.529 lineto +closepath stroke +grestore +% Environ->Cbytegen +gsave +0.393658 setlinewidth +0.000 0.000 0.000 edgecolor +newpath 1148 576 moveto +1148 568 1148 559 1148 550 curveto stroke -gsave 10 dict begin +0.000 0.000 0.000 edgecolor +newpath 1151.5 550 moveto +1148 540 lineto +1144.5 550 lineto +closepath fill +0.393658 setlinewidth solid -1 setlinewidth -0.000 0.000 0.000 edgecolor -newpath 744 114 moveto -754 110 lineto -744 107 lineto -closepath -fill -0.000 0.000 0.000 edgecolor -newpath 744 114 moveto -754 110 lineto -744 107 lineto -closepath -stroke -end grestore - -% Univ -gsave 10 dict begin -1763 241 27 18 ellipse_path -stroke -gsave 10 dict begin -1748 236 moveto -(Univ) -[9.6 6.96 3.84 6.96] -xshow -end grestore -end grestore - -% Univ -> Names -newpath 1788 248 moveto -1800 251 1814 255 1826 259 curveto +0.000 0.000 0.000 edgecolor +newpath 1151.5 550 moveto +1148 540 lineto +1144.5 550 lineto +closepath stroke +grestore +% Conv_oracle +gsave +0.502 1.000 0.820 nodecolor +383 522 48.1758 18 ellipse_path fill +0.393658 setlinewidth +filled +0.502 1.000 0.820 nodecolor +383 522 48.1758 18 ellipse_path stroke +0.000 0.000 0.000 nodecolor +14.00 /Times-Roman set_font +383 517 moveto 71 -0.5 (Conv_oracle) alignedtext +grestore +% Names +gsave +0.502 1.000 0.820 nodecolor +288 18 32.1777 18 ellipse_path fill +0.393658 setlinewidth +filled +0.502 1.000 0.820 nodecolor +288 18 32.1777 18 ellipse_path stroke +0.000 0.000 0.000 nodecolor +14.00 /Times-Roman set_font +288 13 moveto 38 -0.5 (Names) alignedtext +grestore +% Conv_oracle->Names +gsave +0.393658 setlinewidth +0.000 0.000 0.000 edgecolor +newpath 339 515 moveto +238 497 0 449 0 378 curveto +0 378 0 378 0 162 curveto +0 53 166 26 246 20 curveto stroke -gsave 10 dict begin +0.000 0.000 0.000 edgecolor +newpath 246.398 23.4778 moveto +256 19 lineto +245.701 16.5125 lineto +closepath fill +0.393658 setlinewidth solid -1 setlinewidth -0.000 0.000 0.000 edgecolor -newpath 1825 262 moveto -1836 262 lineto -1827 256 lineto -closepath -fill -0.000 0.000 0.000 edgecolor -newpath 1825 262 moveto -1836 262 lineto -1827 256 lineto -closepath -stroke -end grestore - -% Typeops -gsave 10 dict begin -552 110 36 18 ellipse_path -stroke -gsave 10 dict begin -528 105 moveto -(Typeops) -[6.96 6.96 6.96 6.24 6.96 6.96 5.52] -xshow -end grestore -end grestore - -% Typeops -> Inductive -newpath 589 110 moveto -600 110 612 110 624 110 curveto +0.000 0.000 0.000 edgecolor +newpath 246.398 23.4778 moveto +256 19 lineto +245.701 16.5125 lineto +closepath stroke +grestore +% Cooking +gsave +0.502 1.000 0.820 nodecolor +960 1026 37.1777 18 ellipse_path fill +0.393658 setlinewidth +filled +0.502 1.000 0.820 nodecolor +960 1026 37.1777 18 ellipse_path stroke +0.000 0.000 0.000 nodecolor +14.00 /Times-Roman set_font +960 1021 moveto 48 -0.5 (Cooking) alignedtext +grestore +% Typeops +gsave +0.502 1.000 0.820 nodecolor +960 954 37.1777 18 ellipse_path fill +0.393658 setlinewidth +filled +0.502 1.000 0.820 nodecolor +960 954 37.1777 18 ellipse_path stroke +0.000 0.000 0.000 nodecolor +14.00 /Times-Roman set_font +960 949 moveto 48 -0.5 (Typeops) alignedtext +grestore +% Cooking->Typeops +gsave +0.393658 setlinewidth +0.000 0.000 0.000 edgecolor +newpath 960 1008 moveto +960 1000 960 991 960 982 curveto stroke -gsave 10 dict begin +0.000 0.000 0.000 edgecolor +newpath 963.5 982 moveto +960 972 lineto +956.5 982 lineto +closepath fill +0.393658 setlinewidth solid -1 setlinewidth -0.000 0.000 0.000 edgecolor -newpath 624 114 moveto -634 110 lineto -624 107 lineto -closepath -fill -0.000 0.000 0.000 edgecolor -newpath 624 114 moveto -634 110 lineto -624 107 lineto -closepath -stroke -end grestore - -% Entries -gsave 10 dict begin -801 56 33 18 ellipse_path -stroke -gsave 10 dict begin -780 51 moveto -(Entries) -[8.4 6.96 3.84 4.8 3.84 6.24 5.52] -xshow -end grestore -end grestore - -% Typeops -> Entries -newpath 581 99 moveto -595 93 614 87 630 83 curveto -673 73 723 66 758 61 curveto +0.000 0.000 0.000 edgecolor +newpath 963.5 982 moveto +960 972 lineto +956.5 982 lineto +closepath stroke +grestore +% Entries +gsave +0.502 1.000 0.820 nodecolor +1391 882 33.1777 18 ellipse_path fill +0.393658 setlinewidth +filled +0.502 1.000 0.820 nodecolor +1391 882 33.1777 18 ellipse_path stroke +0.000 0.000 0.000 nodecolor +14.00 /Times-Roman set_font +1391 877 moveto 40 -0.5 (Entries) alignedtext +grestore +% Typeops->Entries +gsave +0.393658 setlinewidth +0.000 0.000 0.000 edgecolor +newpath 995 948 moveto +1074 935 1265 903 1349 889 curveto stroke -gsave 10 dict begin +0.000 0.000 0.000 edgecolor +newpath 1349.88 892.393 moveto +1359 887 lineto +1348.51 885.529 lineto +closepath fill +0.393658 setlinewidth solid -1 setlinewidth -0.000 0.000 0.000 edgecolor -newpath 758 64 moveto -768 60 lineto -758 58 lineto -closepath -fill -0.000 0.000 0.000 edgecolor -newpath 758 64 moveto -768 60 lineto -758 58 lineto -closepath -stroke -end grestore - -% Sign -gsave 10 dict begin -1427 100 27 18 ellipse_path -stroke -gsave 10 dict begin -1414 95 moveto -(Sign) -[7.68 3.84 6.96 6.96] -xshow -end grestore -end grestore - -% Entries -> Sign -newpath 834 61 moveto -882 68 974 79 1053 79 curveto -1053 79 1053 79 1174 79 curveto -1251 79 1342 89 1390 95 curveto +0.000 0.000 0.000 edgecolor +newpath 1349.88 892.393 moveto +1359 887 lineto +1348.51 885.529 lineto +closepath stroke +grestore +% Inductive +gsave +0.502 1.000 0.820 nodecolor +837 882 39.1754 18 ellipse_path fill +0.393658 setlinewidth +filled +0.502 1.000 0.820 nodecolor +837 882 39.1754 18 ellipse_path stroke +0.000 0.000 0.000 nodecolor +14.00 /Times-Roman set_font +837 877 moveto 53 -0.5 (Inductive) alignedtext +grestore +% Typeops->Inductive +gsave +0.393658 setlinewidth +0.000 0.000 0.000 edgecolor +newpath 936 940 moveto +918 929 891 914 871 901 curveto stroke -gsave 10 dict begin +0.000 0.000 0.000 edgecolor +newpath 872.441 897.797 moveto +862 896 lineto +869.042 903.916 lineto +closepath fill +0.393658 setlinewidth solid -1 setlinewidth -0.000 0.000 0.000 edgecolor -newpath 1390 98 moveto -1400 96 lineto -1390 92 lineto -closepath -fill -0.000 0.000 0.000 edgecolor -newpath 1390 98 moveto -1400 96 lineto -1390 92 lineto -closepath -stroke -end grestore - -% Reduction -gsave 10 dict begin -926 208 42 18 ellipse_path -stroke -gsave 10 dict begin -897 203 moveto -(Reduction) -[9.12 6.24 6.96 6.96 6.24 3.84 3.84 6.96 6.96] -xshow -end grestore -end grestore - -% Type_errors -> Reduction -newpath 829 125 moveto -836 129 842 133 848 137 curveto -868 151 887 170 902 184 curveto +0.000 0.000 0.000 edgecolor +newpath 872.441 897.797 moveto +862 896 lineto +869.042 903.916 lineto +closepath stroke +grestore +% Csymtable +gsave +0.502 1.000 0.820 nodecolor +1148 666 42.1756 18 ellipse_path fill +0.393658 setlinewidth +filled +0.502 1.000 0.820 nodecolor +1148 666 42.1756 18 ellipse_path stroke +0.000 0.000 0.000 nodecolor +14.00 /Times-Roman set_font +1148 661 moveto 59 -0.5 (Csymtable) alignedtext +grestore +% Csymtable->Environ +gsave +0.393658 setlinewidth +0.000 0.000 0.000 edgecolor +newpath 1148 648 moveto +1148 640 1148 631 1148 622 curveto stroke -gsave 10 dict begin +0.000 0.000 0.000 edgecolor +newpath 1151.5 622 moveto +1148 612 lineto +1144.5 622 lineto +closepath fill +0.393658 setlinewidth solid -1 setlinewidth -0.000 0.000 0.000 edgecolor -newpath 900 187 moveto -910 191 lineto -905 182 lineto -closepath -fill -0.000 0.000 0.000 edgecolor -newpath 900 187 moveto -910 191 lineto -905 182 lineto -closepath -stroke -end grestore - -% Reduction -> Conv_oracle -newpath 948 224 moveto -968 239 999 261 1023 278 curveto +0.000 0.000 0.000 edgecolor +newpath 1151.5 622 moveto +1148 612 lineto +1144.5 622 lineto +closepath stroke +grestore +% Vm +gsave +0.502 1.000 0.820 nodecolor +731 594 27 18 ellipse_path fill +0.393658 setlinewidth +filled +0.502 1.000 0.820 nodecolor +731 594 27 18 ellipse_path stroke +0.000 0.000 0.000 nodecolor +14.00 /Times-Roman set_font +731 589 moveto 21 -0.5 (Vm) alignedtext +grestore +% Csymtable->Vm +gsave +0.393658 setlinewidth +0.000 0.000 0.000 edgecolor +newpath 1109 659 moveto +1029 645 845 614 767 600 curveto stroke -gsave 10 dict begin +0.000 0.000 0.000 edgecolor +newpath 767.492 596.529 moveto +757 598 lineto +766.119 603.393 lineto +closepath fill +0.393658 setlinewidth solid -1 setlinewidth -0.000 0.000 0.000 edgecolor -newpath 1021 281 moveto -1031 284 lineto -1025 275 lineto -closepath -fill -0.000 0.000 0.000 edgecolor -newpath 1021 281 moveto -1031 284 lineto -1025 275 lineto -closepath -stroke -end grestore - -% Closure -gsave 10 dict begin -1053 208 35 18 ellipse_path -stroke -gsave 10 dict begin -1031 203 moveto -(Closure) -[9.36 3.84 6.96 5.52 6.96 4.56 6.24] -xshow -end grestore -end grestore - -% Reduction -> Closure -newpath 968 208 moveto -981 208 994 208 1008 208 curveto +0.000 0.000 0.000 edgecolor +newpath 767.492 596.529 moveto +757 598 lineto +766.119 603.393 lineto +closepath stroke +grestore +% Vm->Cemitcodes +gsave +0.393658 setlinewidth +0.000 0.000 0.000 edgecolor +newpath 727 576 moveto +716 527 684 392 669 334 curveto stroke -gsave 10 dict begin +0.000 0.000 0.000 edgecolor +newpath 672.393 333.119 moveto +667 324 lineto +665.529 334.492 lineto +closepath fill +0.393658 setlinewidth solid -1 setlinewidth -0.000 0.000 0.000 edgecolor -newpath 1008 212 moveto -1018 208 lineto -1008 205 lineto -closepath -fill -0.000 0.000 0.000 edgecolor -newpath 1008 212 moveto -1018 208 lineto -1008 205 lineto -closepath -stroke -end grestore - -% Term_typing -gsave 10 dict begin -313 110 49 18 ellipse_path -stroke -gsave 10 dict begin -277 105 moveto -(Term_typing) -[7.2 6.24 4.8 10.8 6.96 3.84 6.96 6.96 3.84 6.96 6.96] -xshow -end grestore -end grestore - -% Term_typing -> Cbytegen -newpath 347 123 moveto -363 128 381 134 398 137 curveto -524 161 675 165 752 165 curveto +0.000 0.000 0.000 edgecolor +newpath 672.393 333.119 moveto +667 324 lineto +665.529 334.492 lineto +closepath stroke +grestore +% Vm->Conv_oracle +gsave +0.393658 setlinewidth +0.000 0.000 0.000 edgecolor +newpath 705 589 moveto +648 577 510 549 435 533 curveto stroke -gsave 10 dict begin +0.000 0.000 0.000 edgecolor +newpath 435.492 529.529 moveto +425 531 lineto +434.119 536.393 lineto +closepath fill +0.393658 setlinewidth solid -1 setlinewidth -0.000 0.000 0.000 edgecolor -newpath 752 169 moveto -762 165 lineto -752 162 lineto -closepath -fill -0.000 0.000 0.000 edgecolor -newpath 752 169 moveto -762 165 lineto -752 162 lineto -closepath -stroke -end grestore - -% Cooking -gsave 10 dict begin -436 225 37 18 ellipse_path -stroke -gsave 10 dict begin -411 220 moveto -(Cooking) -[9.36 6.96 6.96 6.96 3.84 6.96 6.96] -xshow -end grestore -end grestore - -% Term_typing -> Cooking -newpath 331 127 moveto -352 147 387 179 410 202 curveto +0.000 0.000 0.000 edgecolor +newpath 435.492 529.529 moveto +425 531 lineto +434.119 536.393 lineto +closepath stroke +grestore +% Declarations->Cemitcodes +gsave +0.393658 setlinewidth +0.000 0.000 0.000 edgecolor +newpath 1103 371 moveto +1013 358 811 328 715 314 curveto stroke -gsave 10 dict begin +0.000 0.000 0.000 edgecolor +newpath 715.492 310.529 moveto +705 312 lineto +714.119 317.393 lineto +closepath fill +0.393658 setlinewidth solid -1 setlinewidth -0.000 0.000 0.000 edgecolor -newpath 408 205 moveto -418 209 lineto -413 200 lineto -closepath -fill -0.000 0.000 0.000 edgecolor -newpath 408 205 moveto -418 209 lineto -413 200 lineto -closepath -stroke -end grestore - -% Indtypes -gsave 10 dict begin -436 110 37 18 ellipse_path -stroke -gsave 10 dict begin -411 105 moveto -(Indtypes) -[4.56 6.96 6.96 3.84 6.96 6.96 6.24 5.52] -xshow -end grestore -end grestore - -% Term_typing -> Indtypes -newpath 362 110 moveto -370 110 379 110 388 110 curveto +0.000 0.000 0.000 edgecolor +newpath 715.492 310.529 moveto +705 312 lineto +714.119 317.393 lineto +closepath stroke +grestore +% Sign +gsave +0.502 1.000 0.820 nodecolor +1697 306 27 18 ellipse_path fill +0.393658 setlinewidth +filled +0.502 1.000 0.820 nodecolor +1697 306 27 18 ellipse_path stroke +0.000 0.000 0.000 nodecolor +14.00 /Times-Roman set_font +1697 301 moveto 26 -0.5 (Sign) alignedtext +grestore +% Declarations->Sign +gsave +0.393658 setlinewidth +0.000 0.000 0.000 edgecolor +newpath 1193 372 moveto +1300 359 1563 324 1660 311 curveto stroke -gsave 10 dict begin +0.000 0.000 0.000 edgecolor +newpath 1660.4 314.478 moveto +1670 310 lineto +1659.7 307.512 lineto +closepath fill +0.393658 setlinewidth solid -1 setlinewidth -0.000 0.000 0.000 edgecolor -newpath 388 114 moveto -398 110 lineto -388 107 lineto -closepath -fill -0.000 0.000 0.000 edgecolor -newpath 388 114 moveto -398 110 lineto -388 107 lineto -closepath -stroke -end grestore - -% Environ -gsave 10 dict begin -1174 181 36 18 ellipse_path -stroke -gsave 10 dict begin -1151 176 moveto -(Environ) -[8.4 6.48 6.96 3.84 4.56 6.96 6.96] -xshow -end grestore -end grestore - -% Cbytegen -> Environ -newpath 841 166 moveto -911 169 1054 175 1128 179 curveto +0.000 0.000 0.000 edgecolor +newpath 1660.4 314.478 moveto +1670 310 lineto +1659.7 307.512 lineto +closepath stroke +grestore +% Retroknowledge +gsave +0.502 1.000 0.820 nodecolor +1221 306 59.1777 18 ellipse_path fill +0.393658 setlinewidth +filled +0.502 1.000 0.820 nodecolor +1221 306 59.1777 18 ellipse_path stroke +0.000 0.000 0.000 nodecolor +14.00 /Times-Roman set_font +1221 301 moveto 92 -0.5 (Retroknowledge) alignedtext +grestore +% Declarations->Retroknowledge +gsave +0.393658 setlinewidth +0.000 0.000 0.000 edgecolor +newpath 1165 361 moveto +1175 352 1186 341 1197 330 curveto stroke -gsave 10 dict begin +0.000 0.000 0.000 edgecolor +newpath 1199.4 332.546 moveto +1204 323 lineto +1194.45 327.596 lineto +closepath fill +0.393658 setlinewidth solid -1 setlinewidth -0.000 0.000 0.000 edgecolor -newpath 1128 183 moveto -1138 179 lineto -1128 176 lineto -closepath -fill -0.000 0.000 0.000 edgecolor -newpath 1128 183 moveto -1138 179 lineto -1128 176 lineto -closepath -stroke -end grestore - -% Cooking -> Reduction -newpath 473 227 moveto -485 228 498 229 510 229 curveto -603 231 626 233 718 229 curveto -773 226 834 220 876 214 curveto +0.000 0.000 0.000 edgecolor +newpath 1199.4 332.546 moveto +1204 323 lineto +1194.45 327.596 lineto +closepath stroke +grestore +% Sign->Term +gsave +0.393658 setlinewidth +0.000 0.000 0.000 edgecolor +newpath 1671 300 moveto +1576 277 1241 197 1130 170 curveto stroke -gsave 10 dict begin +0.000 0.000 0.000 edgecolor +newpath 1130.49 166.529 moveto +1120 168 lineto +1129.12 173.393 lineto +closepath fill +0.393658 setlinewidth solid -1 setlinewidth -0.000 0.000 0.000 edgecolor -newpath 876 217 moveto -886 213 lineto -876 211 lineto -closepath -fill -0.000 0.000 0.000 edgecolor -newpath 876 217 moveto -886 213 lineto -876 211 lineto -closepath -stroke -end grestore - -% Indtypes -> Typeops -newpath 474 110 moveto -484 110 495 110 505 110 curveto +0.000 0.000 0.000 edgecolor +newpath 1130.49 166.529 moveto +1120 168 lineto +1129.12 173.393 lineto +closepath stroke +grestore +% Retroknowledge->Cbytecodes +gsave +0.393658 setlinewidth +0.000 0.000 0.000 edgecolor +newpath 1230 288 moveto +1234 280 1239 270 1244 261 curveto stroke -gsave 10 dict begin +0.000 0.000 0.000 edgecolor +newpath 1247.2 262.441 moveto +1249 252 lineto +1241.08 259.042 lineto +closepath fill +0.393658 setlinewidth solid -1 setlinewidth -0.000 0.000 0.000 edgecolor -newpath 505 114 moveto -515 110 lineto -505 107 lineto -closepath -fill -0.000 0.000 0.000 edgecolor -newpath 505 114 moveto -515 110 lineto -505 107 lineto -closepath -stroke -end grestore - -% Term -gsave 10 dict begin -1666 173 28 18 ellipse_path -stroke -gsave 10 dict begin -1651 168 moveto -(Term) -[7.2 6.24 4.8 10.8] -xshow -end grestore -end grestore - -% Term -> Univ -newpath 1685 186 moveto -1699 196 1719 211 1736 222 curveto +0.000 0.000 0.000 edgecolor +newpath 1247.2 262.441 moveto +1249 252 lineto +1241.08 259.042 lineto +closepath stroke +grestore +% Entries->Sign +gsave +0.393658 setlinewidth +0.000 0.000 0.000 edgecolor +newpath 1411 868 moveto +1442 844 1496 795 1496 738 curveto +1496 738 1496 738 1496 450 curveto +1496 370 1604 330 1661 314 curveto stroke -gsave 10 dict begin +0.000 0.000 0.000 edgecolor +newpath 1661.88 317.393 moveto +1671 312 lineto +1660.51 310.529 lineto +closepath fill +0.393658 setlinewidth solid -1 setlinewidth -0.000 0.000 0.000 edgecolor -newpath 1734 225 moveto -1744 228 lineto -1738 219 lineto -closepath -fill -0.000 0.000 0.000 edgecolor -newpath 1734 225 moveto -1744 228 lineto -1738 219 lineto -closepath -stroke -end grestore - -% Esubst -gsave 10 dict begin -1763 173 32 18 ellipse_path -stroke -gsave 10 dict begin -1743 168 moveto -(Esubst) -[8.4 5.52 6.96 6.96 5.28 3.84] -xshow -end grestore -end grestore - -% Term -> Esubst -newpath 1694 173 moveto -1702 173 1711 173 1720 173 curveto +0.000 0.000 0.000 edgecolor +newpath 1661.88 317.393 moveto +1671 312 lineto +1660.51 310.529 lineto +closepath stroke +grestore +% Indtypes +gsave +0.502 1.000 0.820 nodecolor +539 1026 37.1777 18 ellipse_path fill +0.393658 setlinewidth +filled +0.502 1.000 0.820 nodecolor +539 1026 37.1777 18 ellipse_path stroke +0.000 0.000 0.000 nodecolor +14.00 /Times-Roman set_font +539 1021 moveto 48 -0.5 (Indtypes) alignedtext +grestore +% Indtypes->Typeops +gsave +0.393658 setlinewidth +0.000 0.000 0.000 edgecolor +newpath 574 1020 moveto +650 1008 831 977 915 962 curveto stroke -gsave 10 dict begin +0.000 0.000 0.000 edgecolor +newpath 915.881 965.393 moveto +925 960 lineto +914.508 958.529 lineto +closepath fill +0.393658 setlinewidth solid -1 setlinewidth -0.000 0.000 0.000 edgecolor -newpath 1720 177 moveto -1730 173 lineto -1720 170 lineto -closepath -fill -0.000 0.000 0.000 edgecolor -newpath 1720 177 moveto -1730 173 lineto -1720 170 lineto -closepath -stroke -end grestore - -% Subtyping -gsave 10 dict begin -552 56 42 18 ellipse_path -stroke -gsave 10 dict begin -523 51 moveto -(Subtyping) -[7.68 6.96 6.96 3.84 6.96 6.96 3.84 6.96 6.96] -xshow -end grestore -end grestore - -% Subtyping -> Inductive -newpath 581 69 moveto -597 77 618 86 636 93 curveto +0.000 0.000 0.000 edgecolor +newpath 915.881 965.393 moveto +925 960 lineto +914.508 958.529 lineto +closepath stroke +grestore +% Type_errors +gsave +0.502 1.000 0.820 nodecolor +713 810 47.1758 18 ellipse_path fill +0.393658 setlinewidth +filled +0.502 1.000 0.820 nodecolor +713 810 47.1758 18 ellipse_path stroke +0.000 0.000 0.000 nodecolor +14.00 /Times-Roman set_font +713 805 moveto 69 -0.5 (Type_errors) alignedtext +grestore +% Inductive->Type_errors +gsave +0.393658 setlinewidth +0.000 0.000 0.000 edgecolor +newpath 813 868 moveto +794 858 769 843 748 830 curveto stroke -gsave 10 dict begin +0.000 0.000 0.000 edgecolor +newpath 749.441 826.797 moveto +739 825 lineto +746.042 832.916 lineto +closepath fill +0.393658 setlinewidth solid -1 setlinewidth -0.000 0.000 0.000 edgecolor -newpath 634 96 moveto -645 97 lineto -637 90 lineto -closepath -fill -0.000 0.000 0.000 edgecolor -newpath 634 96 moveto -645 97 lineto -637 90 lineto -closepath -stroke -end grestore - -% Modops -gsave 10 dict begin -674 18 36 18 ellipse_path -stroke -gsave 10 dict begin -650 13 moveto -(Modops) -[12.48 6.96 6.96 6.96 6.96 5.52] -xshow -end grestore -end grestore - -% Subtyping -> Modops -newpath 586 45 moveto -601 41 618 35 633 31 curveto +0.000 0.000 0.000 edgecolor +newpath 749.441 826.797 moveto +739 825 lineto +746.042 832.916 lineto +closepath stroke +grestore +% Reduction +gsave +0.502 1.000 0.820 nodecolor +713 738 41.1755 18 ellipse_path fill +0.393658 setlinewidth +filled +0.502 1.000 0.820 nodecolor +713 738 41.1755 18 ellipse_path stroke +0.000 0.000 0.000 nodecolor +14.00 /Times-Roman set_font +713 733 moveto 57 -0.5 (Reduction) alignedtext +grestore +% Type_errors->Reduction +gsave +0.393658 setlinewidth +0.000 0.000 0.000 edgecolor +newpath 713 792 moveto +713 784 713 775 713 766 curveto stroke -gsave 10 dict begin +0.000 0.000 0.000 edgecolor +newpath 716.5 766 moveto +713 756 lineto +709.5 766 lineto +closepath fill +0.393658 setlinewidth solid -1 setlinewidth -0.000 0.000 0.000 edgecolor -newpath 634 34 moveto -643 28 lineto -632 28 lineto -closepath -fill -0.000 0.000 0.000 edgecolor -newpath 634 34 moveto -643 28 lineto -632 28 lineto -closepath -stroke -end grestore - -% Modops -> Entries -newpath 705 27 moveto -722 32 743 39 761 44 curveto +0.000 0.000 0.000 edgecolor +newpath 716.5 766 moveto +713 756 lineto +709.5 766 lineto +closepath stroke +grestore +% Modops +gsave +0.502 1.000 0.820 nodecolor +1404 954 35.1752 18 ellipse_path fill +0.393658 setlinewidth +filled +0.502 1.000 0.820 nodecolor +1404 954 35.1752 18 ellipse_path stroke +0.000 0.000 0.000 nodecolor +14.00 /Times-Roman set_font +1404 949 moveto 45 -0.5 (Modops) alignedtext +grestore +% Modops->Environ +gsave +0.393658 setlinewidth +0.000 0.000 0.000 edgecolor +newpath 1439 951 moveto +1511 943 1670 914 1670 810 curveto +1670 810 1670 810 1670 738 curveto +1670 639 1322 606 1194 597 curveto stroke -gsave 10 dict begin +0.000 0.000 0.000 edgecolor +newpath 1194.3 593.512 moveto +1184 596 lineto +1193.6 600.478 lineto +closepath fill +0.393658 setlinewidth solid -1 setlinewidth -0.000 0.000 0.000 edgecolor -newpath 760 47 moveto -771 47 lineto -762 41 lineto -closepath -fill -0.000 0.000 0.000 edgecolor -newpath 760 47 moveto -771 47 lineto -762 41 lineto -closepath -stroke -end grestore - -% Modops -> Cbytegen -newpath 686 35 moveto -695 48 707 67 718 83 curveto -735 107 733 118 754 137 curveto -757 140 761 143 765 145 curveto +0.000 0.000 0.000 edgecolor +newpath 1194.3 593.512 moveto +1184 596 lineto +1193.6 600.478 lineto +closepath stroke +grestore +% Modops->Entries +gsave +0.393658 setlinewidth +0.000 0.000 0.000 edgecolor +newpath 1401 936 moveto +1400 928 1398 919 1396 910 curveto stroke -gsave 10 dict begin +0.000 0.000 0.000 edgecolor +newpath 1399.39 909.119 moveto +1394 900 lineto +1392.53 910.492 lineto +closepath fill +0.393658 setlinewidth solid -1 setlinewidth -0.000 0.000 0.000 edgecolor -newpath 763 148 moveto -773 151 lineto -767 142 lineto -closepath -fill -0.000 0.000 0.000 edgecolor -newpath 763 148 moveto -773 151 lineto -767 142 lineto -closepath -stroke -end grestore - -% Sign -> Term -newpath 1454 99 moveto -1489 98 1553 100 1602 119 curveto -1626 129 1637 135 1649 148 curveto +0.000 0.000 0.000 edgecolor +newpath 1399.39 909.119 moveto +1394 900 lineto +1392.53 910.492 lineto +closepath stroke +grestore +% Mod_typing +gsave +0.502 1.000 0.820 nodecolor +1157 1170 47.1758 18 ellipse_path fill +0.393658 setlinewidth +filled +0.502 1.000 0.820 nodecolor +1157 1170 47.1758 18 ellipse_path stroke +0.000 0.000 0.000 nodecolor +14.00 /Times-Roman set_font +1157 1165 moveto 69 -0.5 (Mod_typing) alignedtext +grestore +% Subtyping +gsave +0.502 1.000 0.820 nodecolor +1404 1026 42.1777 18 ellipse_path fill +0.393658 setlinewidth +filled +0.502 1.000 0.820 nodecolor +1404 1026 42.1777 18 ellipse_path stroke +0.000 0.000 0.000 nodecolor +14.00 /Times-Roman set_font +1404 1021 moveto 58 -0.5 (Subtyping) alignedtext +grestore +% Mod_typing->Subtyping +gsave +0.393658 setlinewidth +0.000 0.000 0.000 edgecolor +newpath 1183 1155 moveto +1227 1129 1320 1075 1370 1046 curveto stroke -gsave 10 dict begin +0.000 0.000 0.000 edgecolor +newpath 1371.96 1048.92 moveto +1379 1041 lineto +1368.56 1042.8 lineto +closepath fill +0.393658 setlinewidth solid -1 setlinewidth -0.000 0.000 0.000 edgecolor -newpath 1647 151 moveto -1656 156 lineto -1652 146 lineto -closepath -fill -0.000 0.000 0.000 edgecolor -newpath 1647 151 moveto -1656 156 lineto -1652 146 lineto -closepath -stroke -end grestore - -% Safe_typing -gsave 10 dict begin -47 85 46 18 ellipse_path -stroke -gsave 10 dict begin -13 80 moveto -(Safe_typing) -[7.68 6.24 4.08 6.24 6.96 3.84 6.96 6.96 3.84 6.96 6.96] -xshow -end grestore -end grestore - -% Mod_typing -gsave 10 dict begin -179 85 48 18 ellipse_path -stroke -gsave 10 dict begin -143 80 moveto -(Mod_typing) -[12.48 6.96 6.96 6.96 3.84 6.96 6.96 3.84 6.96 6.96] -xshow -end grestore -end grestore - -% Safe_typing -> Mod_typing -newpath 94 85 moveto -103 85 111 85 120 85 curveto +0.000 0.000 0.000 edgecolor +newpath 1371.96 1048.92 moveto +1379 1041 lineto +1368.56 1042.8 lineto +closepath stroke +grestore +% Term_typing +gsave +0.502 1.000 0.820 nodecolor +960 1098 50.1777 18 ellipse_path fill +0.393658 setlinewidth +filled +0.502 1.000 0.820 nodecolor +960 1098 50.1777 18 ellipse_path stroke +0.000 0.000 0.000 nodecolor +14.00 /Times-Roman set_font +960 1093 moveto 74 -0.5 (Term_typing) alignedtext +grestore +% Mod_typing->Term_typing +gsave +0.393658 setlinewidth +0.000 0.000 0.000 edgecolor +newpath 1123 1157 moveto +1090 1145 1040 1127 1005 1114 curveto stroke -gsave 10 dict begin +0.000 0.000 0.000 edgecolor +newpath 1005.58 1110.52 moveto +995 1111 lineto +1003.57 1117.23 lineto +closepath fill +0.393658 setlinewidth solid -1 setlinewidth -0.000 0.000 0.000 edgecolor -newpath 120 89 moveto -130 85 lineto -120 82 lineto -closepath -fill -0.000 0.000 0.000 edgecolor -newpath 120 89 moveto -130 85 lineto -120 82 lineto -closepath -stroke -end grestore - -% Mod_typing -> Term_typing -newpath 223 93 moveto -235 95 248 98 260 100 curveto +0.000 0.000 0.000 edgecolor +newpath 1005.58 1110.52 moveto +995 1111 lineto +1003.57 1117.23 lineto +closepath stroke +grestore +% Subtyping->Typeops +gsave +0.393658 setlinewidth +0.000 0.000 0.000 edgecolor +newpath 1365 1020 moveto +1282 1007 1092 975 1005 962 curveto stroke -gsave 10 dict begin +0.000 0.000 0.000 edgecolor +newpath 1005.49 958.529 moveto +995 960 lineto +1004.12 965.393 lineto +closepath fill +0.393658 setlinewidth solid -1 setlinewidth -0.000 0.000 0.000 edgecolor -newpath 260 103 moveto -270 102 lineto -261 97 lineto -closepath -fill -0.000 0.000 0.000 edgecolor -newpath 260 103 moveto -270 102 lineto -261 97 lineto -closepath -stroke -end grestore - -% Mod_typing -> Subtyping -newpath 227 81 moveto -297 75 428 65 500 60 curveto +0.000 0.000 0.000 edgecolor +newpath 1005.49 958.529 moveto +995 960 lineto +1004.12 965.393 lineto +closepath stroke +grestore +% Subtyping->Modops +gsave +0.393658 setlinewidth +0.000 0.000 0.000 edgecolor +newpath 1404 1008 moveto +1404 1000 1404 991 1404 982 curveto stroke -gsave 10 dict begin +0.000 0.000 0.000 edgecolor +newpath 1407.5 982 moveto +1404 972 lineto +1400.5 982 lineto +closepath fill +0.393658 setlinewidth solid -1 setlinewidth -0.000 0.000 0.000 edgecolor -newpath 500 63 moveto -510 59 lineto -500 57 lineto -closepath -fill -0.000 0.000 0.000 edgecolor -newpath 500 63 moveto -510 59 lineto -500 57 lineto -closepath -stroke -end grestore - -% Closure -> Environ -newpath 1085 201 moveto -1099 198 1116 194 1131 190 curveto +0.000 0.000 0.000 edgecolor +newpath 1407.5 982 moveto +1404 972 lineto +1400.5 982 lineto +closepath stroke +grestore +% Term_typing->Cooking +gsave +0.393658 setlinewidth +0.000 0.000 0.000 edgecolor +newpath 960 1080 moveto +960 1072 960 1063 960 1054 curveto stroke -gsave 10 dict begin +0.000 0.000 0.000 edgecolor +newpath 963.5 1054 moveto +960 1044 lineto +956.5 1054 lineto +closepath fill +0.393658 setlinewidth solid -1 setlinewidth -0.000 0.000 0.000 edgecolor -newpath 1132 193 moveto -1141 188 lineto -1131 187 lineto -closepath -fill -0.000 0.000 0.000 edgecolor -newpath 1132 193 moveto -1141 188 lineto -1131 187 lineto -closepath -stroke -end grestore - -% Mod_subst -> Term -newpath 1594 155 moveto -1606 158 1618 161 1630 164 curveto +0.000 0.000 0.000 edgecolor +newpath 963.5 1054 moveto +960 1044 lineto +956.5 1054 lineto +closepath stroke +grestore +% Term_typing->Indtypes +gsave +0.393658 setlinewidth +0.000 0.000 0.000 edgecolor +newpath 915 1090 moveto +833 1077 665 1048 584 1034 curveto stroke -gsave 10 dict begin +0.000 0.000 0.000 edgecolor +newpath 584.492 1030.53 moveto +574 1032 lineto +583.119 1037.39 lineto +closepath fill +0.393658 setlinewidth solid -1 setlinewidth -0.000 0.000 0.000 edgecolor -newpath 1630 167 moveto -1640 166 lineto -1631 161 lineto -closepath -fill -0.000 0.000 0.000 edgecolor -newpath 1630 167 moveto -1640 166 lineto -1631 161 lineto -closepath -stroke -end grestore - -% Declarations -gsave 10 dict begin -1295 181 49 18 ellipse_path -stroke -gsave 10 dict begin -1259 176 moveto -(Declarations) -[10.08 6.24 6.24 3.84 6.24 4.56 6.24 3.84 3.84 6.96 6.96 5.52] -xshow -end grestore -end grestore - -% Environ -> Declarations -newpath 1210 181 moveto -1218 181 1227 181 1236 181 curveto +0.000 0.000 0.000 edgecolor +newpath 584.492 1030.53 moveto +574 1032 lineto +583.119 1037.39 lineto +closepath stroke +grestore +% Reduction->Closure +gsave +0.393658 setlinewidth +0.000 0.000 0.000 edgecolor +newpath 713 720 moveto +713 712 713 703 713 694 curveto stroke -gsave 10 dict begin +0.000 0.000 0.000 edgecolor +newpath 716.5 694 moveto +713 684 lineto +709.5 694 lineto +closepath fill +0.393658 setlinewidth solid -1 setlinewidth -0.000 0.000 0.000 edgecolor -newpath 1236 185 moveto -1246 181 lineto -1236 178 lineto -closepath -fill -0.000 0.000 0.000 edgecolor -newpath 1236 185 moveto -1246 181 lineto -1236 178 lineto -closepath -stroke -end grestore - -% Declarations -> Cemitcodes -newpath 1341 188 moveto -1351 189 1363 191 1373 192 curveto +0.000 0.000 0.000 edgecolor +newpath 716.5 694 moveto +713 684 lineto +709.5 694 lineto +closepath stroke +grestore +% Reduction->Conv_oracle +gsave +0.393658 setlinewidth +0.000 0.000 0.000 edgecolor +newpath 690 723 moveto +633 686 482 587 415 544 curveto stroke -gsave 10 dict begin +0.000 0.000 0.000 edgecolor +newpath 417.1 541.2 moveto +407 538 lineto +412.9 546.8 lineto +closepath fill +0.393658 setlinewidth solid -1 setlinewidth -0.000 0.000 0.000 edgecolor -newpath 1373 195 moveto -1383 194 lineto -1374 189 lineto -closepath -fill -0.000 0.000 0.000 edgecolor -newpath 1373 195 moveto -1383 194 lineto -1374 189 lineto -closepath -stroke -end grestore - -% Declarations -> Sign -newpath 1320 165 moveto -1343 152 1375 132 1398 118 curveto +0.000 0.000 0.000 edgecolor +newpath 417.1 541.2 moveto +407 538 lineto +412.9 546.8 lineto +closepath stroke +grestore +% Safe_typing +gsave +0.502 1.000 0.820 nodecolor +1157 1242 47.1777 18 ellipse_path fill +0.393658 setlinewidth +filled +0.502 1.000 0.820 nodecolor +1157 1242 47.1777 18 ellipse_path stroke +0.000 0.000 0.000 nodecolor +14.00 /Times-Roman set_font +1157 1237 moveto 68 -0.5 (Safe_typing) alignedtext +grestore +% Safe_typing->Mod_typing +gsave +0.393658 setlinewidth +0.000 0.000 0.000 edgecolor +newpath 1157 1224 moveto +1157 1216 1157 1207 1157 1198 curveto stroke -gsave 10 dict begin +0.000 0.000 0.000 edgecolor +newpath 1160.5 1198 moveto +1157 1188 lineto +1153.5 1198 lineto +closepath fill +0.393658 setlinewidth solid -1 setlinewidth -0.000 0.000 0.000 edgecolor -newpath 1401 120 moveto -1407 112 lineto -1397 115 lineto -closepath -fill -0.000 0.000 0.000 edgecolor -newpath 1401 120 moveto -1407 112 lineto -1397 115 lineto -closepath +0.000 0.000 0.000 edgecolor +newpath 1160.5 1198 moveto +1157 1188 lineto +1153.5 1198 lineto +closepath stroke +grestore +% Univ->Names +gsave +0.393658 setlinewidth +0.000 0.000 0.000 edgecolor +newpath 555 84 moveto +504 71 388 42 327 27 curveto stroke -end grestore - -% Cbytecodes -> Term -newpath 1595 190 moveto -1607 188 1619 185 1630 182 curveto +0.000 0.000 0.000 edgecolor +newpath 327.492 23.5292 moveto +317 25 lineto +326.119 30.3933 lineto +closepath fill +0.393658 setlinewidth +solid +0.000 0.000 0.000 edgecolor +newpath 327.492 23.5292 moveto +317 25 lineto +326.119 30.3933 lineto +closepath stroke +grestore +% Vconv +gsave +0.502 1.000 0.820 nodecolor +1152 810 31.1748 18 ellipse_path fill +0.393658 setlinewidth +filled +0.502 1.000 0.820 nodecolor +1152 810 31.1748 18 ellipse_path stroke +0.000 0.000 0.000 nodecolor +14.00 /Times-Roman set_font +1152 805 moveto 37 -0.5 (Vconv) alignedtext +grestore +% Vconv->Csymtable +gsave +0.393658 setlinewidth +0.000 0.000 0.000 edgecolor +newpath 1151 792 moveto +1150 767 1149 723 1148 694 curveto stroke -gsave 10 dict begin +0.000 0.000 0.000 edgecolor +newpath 1151.5 694 moveto +1148 684 lineto +1144.5 694 lineto +closepath fill +0.393658 setlinewidth solid -1 setlinewidth -0.000 0.000 0.000 edgecolor -newpath 1631 185 moveto -1640 179 lineto -1629 179 lineto -closepath -fill -0.000 0.000 0.000 edgecolor -newpath 1631 185 moveto -1640 179 lineto -1629 179 lineto -closepath +0.000 0.000 0.000 edgecolor +newpath 1151.5 694 moveto +1148 684 lineto +1144.5 694 lineto +closepath stroke +grestore +% Vconv->Reduction +gsave +0.393658 setlinewidth +0.000 0.000 0.000 edgecolor +newpath 1122 805 moveto +1047 792 852 760 761 746 curveto stroke -end grestore +0.000 0.000 0.000 edgecolor +newpath 761.492 742.529 moveto +751 744 lineto +760.119 749.393 lineto +closepath fill +0.393658 setlinewidth +solid +0.000 0.000 0.000 edgecolor +newpath 761.492 742.529 moveto +751 744 lineto +760.119 749.393 lineto +closepath stroke +grestore endpage showpage grestore @@ -1449,6 +1425,7 @@ grestore %%EndPage: 1 %%Trailer %%Pages: 1 +%%BoundingBox: 36 36 535 756 end restore %%EOF |