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

%!PS-Adobe-2.0
%%Creator: dot version 2.2 (Wed Jan 19 21:09:25 UTC 2005)
%%For: (herbelin) Hugo Herbelin
%%Title: G
%%Pages: (atend)
%%BoundingBox: 35 35 577 127
%%EndComments
save
%%BeginProlog
/DotDict 200 dict def
DotDict begin

/setupLatin1 {
mark
/EncodingVector 256 array def
 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  

% 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
	dup 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
%%Page: 1 1
%%PageBoundingBox: 36 36 577 127
%%PageOrientation: Portrait
gsave
35 35 542 92 boxprim clip newpath
36 36 translate
0 0 1 beginpage
0.2845 set_scale
0 0 translate 0 rotate
0.000 0.000 0.000 graphcolor
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
stroke
gsave 10 dict begin
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
stroke
gsave 10 dict begin
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
stroke
gsave 10 dict begin
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
stroke
gsave 10 dict begin
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
stroke
gsave 10 dict begin
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
stroke
gsave 10 dict begin
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
stroke
gsave 10 dict begin
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
stroke
gsave 10 dict begin
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
stroke
gsave 10 dict begin
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
stroke
gsave 10 dict begin
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
stroke
gsave 10 dict begin
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
stroke
gsave 10 dict begin
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
stroke
gsave 10 dict begin
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
stroke
gsave 10 dict begin
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
stroke
gsave 10 dict begin
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
stroke
gsave 10 dict begin
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
stroke
gsave 10 dict begin
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
stroke
gsave 10 dict begin
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
stroke
gsave 10 dict begin
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
stroke
gsave 10 dict begin
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
stroke
gsave 10 dict begin
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
stroke
gsave 10 dict begin
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
stroke
gsave 10 dict begin
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
stroke
gsave 10 dict begin
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
stroke
gsave 10 dict begin
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
stroke
gsave 10 dict begin
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
stroke
gsave 10 dict begin
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
stroke
gsave 10 dict begin
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
stroke
gsave 10 dict begin
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
stroke
gsave 10 dict begin
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
stroke
gsave 10 dict begin
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
stroke
gsave 10 dict begin
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
stroke
gsave 10 dict begin
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
stroke
gsave 10 dict begin
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
stroke
gsave 10 dict begin
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
stroke
gsave 10 dict begin
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
stroke
gsave 10 dict begin
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
stroke
gsave 10 dict begin
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
stroke
gsave 10 dict begin
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
stroke
end grestore

%	Cbytecodes -> Term
newpath 1595 190 moveto
1607 188 1619 185 1630 182 curveto
stroke
gsave 10 dict begin
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
stroke
end grestore
endpage
showpage
grestore
%%PageTrailer
%%EndPage: 1
%%Trailer
%%Pages: 1
end
restore
%%EOF