path: root/dev/ocamlweb-doc/kernel.dep.ps

%!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