diff options
Diffstat (limited to 'dev/ocamlweb-doc/kernel.dep.ps')
| -rw-r--r-- | dev/ocamlweb-doc/kernel.dep.ps | 1431 |
1 files changed, 0 insertions, 1431 deletions
diff --git a/dev/ocamlweb-doc/kernel.dep.ps b/dev/ocamlweb-doc/kernel.dep.ps deleted file mode 100644 index b7b4137b..00000000 --- a/dev/ocamlweb-doc/kernel.dep.ps +++ /dev/null @@ -1,1431 +0,0 @@ -%!PS-Adobe-2.0 -%%Creator: Graphviz version 2.12 (Tue Oct 23 13:46:12 UTC 2007) -%%For: (notin) Jean-Marc Notin,,, -%%Title: G -%%Pages: (atend) -%%BoundingBox: (atend) -%%EndComments -save -%%BeginProlog -/DotDict 200 dict def -DotDict begin - -/setupLatin1 { -mark -/EncodingVector 256 array def - EncodingVector 0 - -ISOLatin1Encoding 0 255 getinterval putinterval -EncodingVector 45 /hyphen put - -% Set up ISO Latin 1 character encoding -/starnetISO { - dup dup findfont dup length dict begin - { 1 index /FID ne { def }{ pop pop } ifelse - } forall - /Encoding EncodingVector def - currentdict end definefont -} def -/Times-Roman starnetISO def -/Times-Italic starnetISO def -/Times-Bold starnetISO def -/Times-BoldItalic starnetISO def -/Helvetica starnetISO def -/Helvetica-Oblique starnetISO def -/Helvetica-Bold starnetISO def -/Helvetica-BoldOblique starnetISO def -/Courier starnetISO def -/Courier-Oblique starnetISO def -/Courier-Bold starnetISO def -/Courier-BoldOblique starnetISO def -cleartomark -} bind def - -%%BeginResource: procset graphviz 0 0 -/coord-font-family /Times-Roman def -/default-font-family /Times-Roman def -/coordfont coord-font-family findfont 8 scalefont def - -/InvScaleFactor 1.0 def -/set_scale { - dup 1 exch div /InvScaleFactor exch def - scale -} bind def - -% styles -/solid { [] 0 setdash } bind def -/dashed { [9 InvScaleFactor mul dup ] 0 setdash } bind def -/dotted { [1 InvScaleFactor mul 6 InvScaleFactor mul] 0 setdash } bind def -/invis {/fill {newpath} def /stroke {newpath} def /show {pop newpath} def} bind def -/bold { 2 setlinewidth } bind def -/filled { } bind def -/unfilled { } bind def -/rounded { } bind def -/diagonals { } bind def - -% hooks for setting color -/nodecolor { sethsbcolor } bind def -/edgecolor { sethsbcolor } bind def -/graphcolor { sethsbcolor } bind def -/nopcolor {pop pop pop} bind def - -/beginpage { % i j npages - /npages exch def - /j exch def - /i exch def - /str 10 string def - npages 1 gt { - gsave - coordfont setfont - 0 0 moveto - (\() show i str cvs show (,) show j str cvs show (\)) show - grestore - } if -} bind def - -/set_font { - findfont exch - scalefont setfont -} def - -% draw aligned label in bounding box aligned to current point -/alignedtext { % width adj text - /text exch def - /adj exch def - /width exch def - gsave - width 0 gt { - text stringwidth pop adj mul 0 rmoveto - } if - [] 0 setdash - text show - grestore -} def - -/boxprim { % xcorner ycorner xsize ysize - 4 2 roll - moveto - 2 copy - exch 0 rlineto - 0 exch rlineto - pop neg 0 rlineto - closepath -} bind def - -/ellipse_path { - /ry exch def - /rx exch def - /y exch def - /x exch def - matrix currentmatrix - newpath - x y translate - rx ry scale - 0 0 1 0 360 arc - setmatrix -} bind def - -/endpage { showpage } bind def -/showpage { } def - -/layercolorseq - [ % layer color sequence - darkest to lightest - [0 0 0] - [.2 .8 .8] - [.4 .8 .8] - [.6 .8 .8] - [.8 .8 .8] - ] -def - -/layerlen layercolorseq length def - -/setlayer {/maxlayer exch def /curlayer exch def - layercolorseq curlayer 1 sub layerlen mod get - aload pop sethsbcolor - /nodecolor {nopcolor} def - /edgecolor {nopcolor} def - /graphcolor {nopcolor} def -} bind def - -/onlayer { curlayer ne {invis} if } def - -/onlayers { - /myupper exch def - /mylower exch def - curlayer mylower lt - curlayer myupper gt - or - {invis} if -} def - -/curlayer 0 def - -%%EndResource -%%EndProlog -%%BeginSetup -14 default-font-family set_font -1 setmiterlimit -% /arrowlength 10 def -% /arrowwidth 5 def - -% make sure pdfmark is harmless for PS-interpreters other than Distiller -/pdfmark where {pop} {userdict /pdfmark /cleartomark load put} ifelse -% make '<<' and '>>' safe on PS Level 1 devices -/languagelevel where {pop languagelevel}{1} ifelse -2 lt { - userdict (<<) cvn ([) cvn load put - userdict (>>) cvn ([) cvn load put -} if - -%%EndSetup -setupLatin1 -%%Page: 1 1 -%%PageBoundingBox: 36 36 535 756 -%%PageOrientation: Landscape -gsave -36 36 535 756 boxprim clip newpath -0 0 1 beginpage -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -%%PageTrailer -%%EndPage: 1 -%%Trailer -%%Pages: 1 -%%BoundingBox: 36 36 535 756 -end -restore -%%EOF |