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