Imported Upstream version 8.2~beta3+dfsgupstream/8.2.beta3+dfsg

1 files changed, 546 insertions, 609 deletions

diff --git a/dev/ocamlweb-doc/library.dep.ps b/dev/ocamlweb-doc/library.dep.ps
index 1c68240e..c9bb351e 100644
--- a/dev/ocamlweb-doc/library.dep.ps
+++ b/dev/ocamlweb-doc/library.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 207
+%%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,601 +179,587 @@ def
 } if
 
 %%EndSetup
+setupLatin1
 %%Page: 1 1
-%%PageBoundingBox: 36 36 577 207
-%%PageOrientation: Portrait
+%%PageBoundingBox: 36 36 576 752
+%%PageOrientation: Landscape
 gsave
-35 35 542 172 boxprim clip newpath
-36 36 translate
+36 36 576 752 boxprim clip newpath
 0 0 1 beginpage
-0.6750 set_scale
-0 0 translate 0 rotate
-0.000 0.000 0.000 graphcolor
+0.985401 0.985401 set_scale 90 rotate 40.5333 -580.533 translate
+0.000 0.000 1.000 graphcolor
+newpath -4 -4 moveto
+-4 544 lineto
+723 544 lineto
+723 -4 lineto
+closepath fill
+0.985401 setlinewidth
+0.000 0.000 1.000 graphcolor
+newpath -4 -4 moveto
+-4 544 lineto
+723 544 lineto
+723 -4 lineto
+closepath stroke
+% Declare
+gsave
+0.502 1.000 0.820 nodecolor
+488 436 34.1751 18 ellipse_path fill
+0.985401 setlinewidth
+filled
+0.502 1.000 0.820 nodecolor
+488 436 34.1751 18 ellipse_path stroke
+0.000 0.000 0.000 nodecolor
 14.00 /Times-Roman set_font
-
-%	States
-gsave 10 dict begin
-30 18 30 18 ellipse_path
-stroke
-gsave 10 dict begin
-13 13 moveto
-(States)
-[7.44 4.08 6.24 3.84 6.24 5.52]
-xshow
-end grestore
-end grestore
-
-%	Library
-gsave 10 dict begin
-132 18 34 18 ellipse_path
-stroke
-gsave 10 dict begin
-110 13 moveto
-(Library)
-[8.4 3.84 6.96 4.56 6.24 4.8 6.96]
-xshow
-end grestore
-end grestore
-
-%	States -> Library
-newpath 60 18 moveto
-69 18 78 18 87 18 curveto
+488 431 moveto 43 -0.5 (Declare) alignedtext
+grestore
+% Dischargedhypsmap
+gsave
+0.502 1.000 0.820 nodecolor
+488 353 69.1764 18 ellipse_path fill
+0.985401 setlinewidth
+filled
+0.502 1.000 0.820 nodecolor
+488 353 69.1764 18 ellipse_path stroke
+0.000 0.000 0.000 nodecolor
+14.00 /Times-Roman set_font
+488 348 moveto 113 -0.5 (Dischargedhypsmap) alignedtext
+grestore
+% Declare->Dischargedhypsmap
+gsave
+0.985401 setlinewidth
+0.000 0.000 0.000 edgecolor
+newpath 488 418 moveto
+488 407 488 393 488 381 curveto
 stroke
-gsave 10 dict begin
+0.000 0.000 0.000 edgecolor
+newpath 491.5 381 moveto
+488 371 lineto
+484.5 381 lineto
+closepath fill
+0.985401 setlinewidth
 solid
-1 setlinewidth
-0.000 0.000 0.000 edgecolor
-newpath 87 22 moveto
-97 18 lineto
-87 15 lineto
-closepath
-fill
-0.000 0.000 0.000 edgecolor
-newpath 87 22 moveto
-97 18 lineto
-87 15 lineto
-closepath
-stroke
-end grestore
-
-%	Declaremods
-gsave 10 dict begin
-274 18 50 18 ellipse_path
-stroke
-gsave 10 dict begin
-236 13 moveto
-(Declaremods)
-[10.08 6.24 6.24 3.84 6.24 4.56 6.24 10.8 6.96 6.96 5.52]
-xshow
-end grestore
-end grestore
-
-%	Library -> Declaremods
-newpath 167 18 moveto
-181 18 197 18 213 18 curveto
+0.000 0.000 0.000 edgecolor
+newpath 491.5 381 moveto
+488 371 lineto
+484.5 381 lineto
+closepath stroke
+grestore
+% Impargs
+gsave
+0.502 1.000 0.820 nodecolor
+201 353 36.1777 18 ellipse_path fill
+0.985401 setlinewidth
+filled
+0.502 1.000 0.820 nodecolor
+201 353 36.1777 18 ellipse_path stroke
+0.000 0.000 0.000 nodecolor
+14.00 /Times-Roman set_font
+201 348 moveto 46 -0.5 (Impargs) alignedtext
+grestore
+% Declare->Impargs
+gsave
+0.985401 setlinewidth
+0.000 0.000 0.000 edgecolor
+newpath 458 427 moveto
+407 412 301 382 242 365 curveto
 stroke
-gsave 10 dict begin
+0.000 0.000 0.000 edgecolor
+newpath 242.584 361.521 moveto
+232 362 lineto
+240.573 368.226 lineto
+closepath fill
+0.985401 setlinewidth
 solid
-1 setlinewidth
-0.000 0.000 0.000 edgecolor
-newpath 213 22 moveto
-223 18 lineto
-213 15 lineto
-closepath
-fill
-0.000 0.000 0.000 edgecolor
-newpath 213 22 moveto
-223 18 lineto
-213 15 lineto
-closepath
-stroke
-end grestore
-
-%	Nametab
-gsave 10 dict begin
-523 134 39 18 ellipse_path
-stroke
-gsave 10 dict begin
-497 129 moveto
-(Nametab)
-[9.6 6.24 10.8 6 4.08 6.24 6.96]
-xshow
-end grestore
-end grestore
-
-%	Libnames
-gsave 10 dict begin
-642 134 41 18 ellipse_path
-stroke
-gsave 10 dict begin
-613 129 moveto
-(Libnames)
-[8.4 3.84 6.96 6.96 6.24 10.8 6.24 5.52]
-xshow
-end grestore
-end grestore
-
-%	Nametab -> Libnames
-newpath 562 134 moveto
-571 134 580 134 590 134 curveto
+0.000 0.000 0.000 edgecolor
+newpath 242.584 361.521 moveto
+232 362 lineto
+240.573 368.226 lineto
+closepath stroke
+grestore
+% Decl_kinds
+gsave
+0.502 1.000 0.820 nodecolor
+661 353 44.1757 18 ellipse_path fill
+0.985401 setlinewidth
+filled
+0.502 1.000 0.820 nodecolor
+661 353 44.1757 18 ellipse_path stroke
+0.000 0.000 0.000 nodecolor
+14.00 /Times-Roman set_font
+661 348 moveto 63 -0.5 (Decl_kinds) alignedtext
+grestore
+% Declare->Decl_kinds
+gsave
+0.985401 setlinewidth
+0.000 0.000 0.000 edgecolor
+newpath 514 424 moveto
+543 410 590 388 624 372 curveto
 stroke
-gsave 10 dict begin
+0.000 0.000 0.000 edgecolor
+newpath 625.958 374.916 moveto
+633 367 lineto
+622.559 368.797 lineto
+closepath fill
+0.985401 setlinewidth
 solid
-1 setlinewidth
-0.000 0.000 0.000 edgecolor
-newpath 590 138 moveto
-600 134 lineto
-590 131 lineto
-closepath
-fill
-0.000 0.000 0.000 edgecolor
-newpath 590 138 moveto
-600 134 lineto
-590 131 lineto
-closepath
-stroke
-end grestore
-
-%	Summary
-gsave 10 dict begin
-642 65 40 18 ellipse_path
-stroke
-gsave 10 dict begin
-614 60 moveto
-(Summary)
-[7.68 6.96 10.8 10.8 6.24 4.8 6.96]
-xshow
-end grestore
-end grestore
-
-%	Nametab -> Summary
-newpath 547 120 moveto
-565 110 589 96 608 84 curveto
+0.000 0.000 0.000 edgecolor
+newpath 625.958 374.916 moveto
+633 367 lineto
+622.559 368.797 lineto
+closepath stroke
+grestore
+% Lib
+gsave
+0.502 1.000 0.820 nodecolor
+219 270 27 18 ellipse_path fill
+0.985401 setlinewidth
+filled
+0.502 1.000 0.820 nodecolor
+219 270 27 18 ellipse_path stroke
+0.000 0.000 0.000 nodecolor
+14.00 /Times-Roman set_font
+219 265 moveto 20 -0.5 (Lib) alignedtext
+grestore
+% Dischargedhypsmap->Lib
+gsave
+0.985401 setlinewidth
+0.000 0.000 0.000 edgecolor
+newpath 443 339 moveto
+390 323 302 296 254 281 curveto
 stroke
-gsave 10 dict begin
+0.000 0.000 0.000 edgecolor
+newpath 254.584 277.521 moveto
+244 278 lineto
+252.573 284.226 lineto
+closepath fill
+0.985401 setlinewidth
 solid
-1 setlinewidth
-0.000 0.000 0.000 edgecolor
-newpath 610 87 moveto
-617 79 lineto
-607 81 lineto
-closepath
-fill
-0.000 0.000 0.000 edgecolor
-newpath 610 87 moveto
-617 79 lineto
-607 81 lineto
-closepath
-stroke
-end grestore
-
-%	Nameops
-gsave 10 dict begin
-760 134 40 18 ellipse_path
-stroke
-gsave 10 dict begin
-733 129 moveto
-(Nameops)
-[9.6 6.24 10.8 6.24 6.96 6.96 5.52]
-xshow
-end grestore
-end grestore
-
-%	Libnames -> Nameops
-newpath 684 134 moveto
-693 134 701 134 710 134 curveto
+0.000 0.000 0.000 edgecolor
+newpath 254.584 277.521 moveto
+244 278 lineto
+252.573 284.226 lineto
+closepath stroke
+grestore
+% Global
+gsave
+0.502 1.000 0.820 nodecolor
+82 270 32.1777 18 ellipse_path fill
+0.985401 setlinewidth
+filled
+0.502 1.000 0.820 nodecolor
+82 270 32.1777 18 ellipse_path stroke
+0.000 0.000 0.000 nodecolor
+14.00 /Times-Roman set_font
+82 265 moveto 38 -0.5 (Global) alignedtext
+grestore
+% Impargs->Global
+gsave
+0.985401 setlinewidth
+0.000 0.000 0.000 edgecolor
+newpath 180 338 moveto
+161 325 132 305 110 290 curveto
 stroke
-gsave 10 dict begin
+0.000 0.000 0.000 edgecolor
+newpath 112.1 287.2 moveto
+102 284 lineto
+107.9 292.8 lineto
+closepath fill
+0.985401 setlinewidth
 solid
-1 setlinewidth
-0.000 0.000 0.000 edgecolor
-newpath 710 138 moveto
-720 134 lineto
-710 131 lineto
-closepath
-fill
-0.000 0.000 0.000 edgecolor
-newpath 710 138 moveto
-720 134 lineto
-710 131 lineto
-closepath
-stroke
-end grestore
-
-%	Lib
-gsave 10 dict begin
-413 153 27 18 ellipse_path
-stroke
-gsave 10 dict begin
-402 148 moveto
-(Lib)
-[8.4 3.84 6.96]
-xshow
-end grestore
-end grestore
-
-%	Declaremods -> Lib
-newpath 315 29 moveto
-325 33 336 38 344 45 curveto
-359 58 383 99 399 127 curveto
+0.000 0.000 0.000 edgecolor
+newpath 112.1 287.2 moveto
+102 284 lineto
+107.9 292.8 lineto
+closepath stroke
+grestore
+% Impargs->Lib
+gsave
+0.985401 setlinewidth
+0.000 0.000 0.000 edgecolor
+newpath 205 335 moveto
+207 324 210 310 213 298 curveto
 stroke
-gsave 10 dict begin
+0.000 0.000 0.000 edgecolor
+newpath 216.471 298.492 moveto
+215 288 lineto
+209.607 297.119 lineto
+closepath fill
+0.985401 setlinewidth
 solid
-1 setlinewidth
-0.000 0.000 0.000 edgecolor
-newpath 396 129 moveto
-404 136 lineto
-402 126 lineto
-closepath
-fill
-0.000 0.000 0.000 edgecolor
-newpath 396 129 moveto
-404 136 lineto
-402 126 lineto
-closepath
-stroke
-end grestore
-
-%	Global
-gsave 10 dict begin
-413 65 32 18 ellipse_path
-stroke
-gsave 10 dict begin
-393 60 moveto
-(Global)
-[10.08 3.84 6.96 6.96 6.24 3.84]
-xshow
-end grestore
-end grestore
-
-%	Declaremods -> Global
-newpath 311 30 moveto
-331 37 355 45 375 52 curveto
+0.000 0.000 0.000 edgecolor
+newpath 216.471 298.492 moveto
+215 288 lineto
+209.607 297.119 lineto
+closepath stroke
+grestore
+% Declaremods
+gsave
+0.502 1.000 0.820 nodecolor
+65 353 49.1759 18 ellipse_path fill
+0.985401 setlinewidth
+filled
+0.502 1.000 0.820 nodecolor
+65 353 49.1759 18 ellipse_path stroke
+0.000 0.000 0.000 nodecolor
+14.00 /Times-Roman set_font
+65 348 moveto 73 -0.5 (Declaremods) alignedtext
+grestore
+% Declaremods->Global
+gsave
+0.985401 setlinewidth
+0.000 0.000 0.000 edgecolor
+newpath 69 335 moveto
+71 324 74 310 76 298 curveto
 stroke
-gsave 10 dict begin
+0.000 0.000 0.000 edgecolor
+newpath 79.4708 298.492 moveto
+78 288 lineto
+72.6067 297.119 lineto
+closepath fill
+0.985401 setlinewidth
 solid
-1 setlinewidth
-0.000 0.000 0.000 edgecolor
-newpath 374 55 moveto
-385 55 lineto
-376 49 lineto
-closepath
-fill
-0.000 0.000 0.000 edgecolor
-newpath 374 55 moveto
-385 55 lineto
-376 49 lineto
-closepath
-stroke
-end grestore
-
-%	Libobject
-gsave 10 dict begin
-523 188 40 18 ellipse_path
-stroke
-gsave 10 dict begin
-495 183 moveto
-(Libobject)
-[8.4 3.84 6.96 6.96 6.96 3.84 6.24 6.24 3.84]
-xshow
-end grestore
-end grestore
-
-%	Libobject -> Libnames
-newpath 552 175 moveto
-567 168 587 159 604 151 curveto
+0.000 0.000 0.000 edgecolor
+newpath 79.4708 298.492 moveto
+78 288 lineto
+72.6067 297.119 lineto
+closepath stroke
+grestore
+% Declaremods->Lib
+gsave
+0.985401 setlinewidth
+0.000 0.000 0.000 edgecolor
+newpath 93 338 moveto
+120 324 161 301 189 286 curveto
 stroke
-gsave 10 dict begin
+0.000 0.000 0.000 edgecolor
+newpath 190.958 288.916 moveto
+198 281 lineto
+187.559 282.797 lineto
+closepath fill
+0.985401 setlinewidth
 solid
-1 setlinewidth
-0.000 0.000 0.000 edgecolor
-newpath 605 154 moveto
-613 147 lineto
-602 148 lineto
-closepath
-fill
-0.000 0.000 0.000 edgecolor
-newpath 605 154 moveto
-613 147 lineto
-602 148 lineto
-closepath
-stroke
-end grestore
-
-%	Lib -> Nametab
-newpath 439 148 moveto
-450 146 464 144 476 142 curveto
+0.000 0.000 0.000 edgecolor
+newpath 190.958 288.916 moveto
+198 281 lineto
+187.559 282.797 lineto
+closepath stroke
+grestore
+% Summary
+gsave
+0.502 1.000 0.820 nodecolor
+69 103 40.1755 18 ellipse_path fill
+0.985401 setlinewidth
+filled
+0.502 1.000 0.820 nodecolor
+69 103 40.1755 18 ellipse_path stroke
+0.000 0.000 0.000 nodecolor
+14.00 /Times-Roman set_font
+69 98 moveto 55 -0.5 (Summary) alignedtext
+grestore
+% Global->Summary
+gsave
+0.985401 setlinewidth
+0.000 0.000 0.000 edgecolor
+newpath 81 252 moveto
+78 223 74 166 71 131 curveto
 stroke
-gsave 10 dict begin
+0.000 0.000 0.000 edgecolor
+newpath 74.4778 130.602 moveto
+70 121 lineto
+67.5125 131.299 lineto
+closepath fill
+0.985401 setlinewidth
 solid
-1 setlinewidth
-0.000 0.000 0.000 edgecolor
-newpath 477 145 moveto
-486 140 lineto
-476 139 lineto
-closepath
-fill
-0.000 0.000 0.000 edgecolor
-newpath 477 145 moveto
-486 140 lineto
-476 139 lineto
-closepath
-stroke
-end grestore
-
-%	Lib -> Libobject
-newpath 437 161 moveto
-450 165 466 170 480 174 curveto
+0.000 0.000 0.000 edgecolor
+newpath 74.4778 130.602 moveto
+70 121 lineto
+67.5125 131.299 lineto
+closepath stroke
+grestore
+% Libnames
+gsave
+0.502 1.000 0.820 nodecolor
+203 103 40.1755 18 ellipse_path fill
+0.985401 setlinewidth
+filled
+0.502 1.000 0.820 nodecolor
+203 103 40.1755 18 ellipse_path stroke
+0.000 0.000 0.000 nodecolor
+14.00 /Times-Roman set_font
+203 98 moveto 55 -0.5 (Libnames) alignedtext
+grestore
+% Global->Libnames
+gsave
+0.985401 setlinewidth
+0.000 0.000 0.000 edgecolor
+newpath 94 253 moveto
+115 224 159 164 184 129 curveto
 stroke
-gsave 10 dict begin
+0.000 0.000 0.000 edgecolor
+newpath 186.8 131.1 moveto
+190 121 lineto
+181.2 126.9 lineto
+closepath fill
+0.985401 setlinewidth
 solid
-1 setlinewidth
-0.000 0.000 0.000 edgecolor
-newpath 479 177 moveto
-490 177 lineto
-481 171 lineto
-closepath
-fill
-0.000 0.000 0.000 edgecolor
-newpath 479 177 moveto
-490 177 lineto
-481 171 lineto
-closepath
-stroke
-end grestore
-
-%	Impargs
-gsave 10 dict begin
-274 126 36 18 ellipse_path
-stroke
-gsave 10 dict begin
-251 121 moveto
-(Impargs)
-[4.56 10.56 6.96 6.24 4.32 6.96 5.52]
-xshow
-end grestore
-end grestore
-
-%	Impargs -> Lib
-newpath 308 133 moveto
-329 137 355 142 377 146 curveto
+0.000 0.000 0.000 edgecolor
+newpath 186.8 131.1 moveto
+190 121 lineto
+181.2 126.9 lineto
+closepath stroke
+grestore
+% Nametab
+gsave
+0.502 1.000 0.820 nodecolor
+203 186 38.1777 18 ellipse_path fill
+0.985401 setlinewidth
+filled
+0.502 1.000 0.820 nodecolor
+203 186 38.1777 18 ellipse_path stroke
+0.000 0.000 0.000 nodecolor
+14.00 /Times-Roman set_font
+203 181 moveto 50 -0.5 (Nametab) alignedtext
+grestore
+% Lib->Nametab
+gsave
+0.985401 setlinewidth
+0.000 0.000 0.000 edgecolor
+newpath 216 252 moveto
+214 241 211 226 209 214 curveto
 stroke
-gsave 10 dict begin
+0.000 0.000 0.000 edgecolor
+newpath 212.393 213.119 moveto
+207 204 lineto
+205.529 214.492 lineto
+closepath fill
+0.985401 setlinewidth
 solid
-1 setlinewidth
-0.000 0.000 0.000 edgecolor
-newpath 377 149 moveto
-387 148 lineto
-378 143 lineto
-closepath
-fill
-0.000 0.000 0.000 edgecolor
-newpath 377 149 moveto
-387 148 lineto
-378 143 lineto
-closepath
-stroke
-end grestore
-
-%	Impargs -> Global
-newpath 304 116 moveto
-316 111 331 105 344 99 curveto
-357 94 369 88 381 82 curveto
+0.000 0.000 0.000 edgecolor
+newpath 212.393 213.119 moveto
+207 204 lineto
+205.529 214.492 lineto
+closepath stroke
+grestore
+% Libobject
+gsave
+0.502 1.000 0.820 nodecolor
+329 186 40.1777 18 ellipse_path fill
+0.985401 setlinewidth
+filled
+0.502 1.000 0.820 nodecolor
+329 186 40.1777 18 ellipse_path stroke
+0.000 0.000 0.000 nodecolor
+14.00 /Times-Roman set_font
+329 181 moveto 54 -0.5 (Libobject) alignedtext
+grestore
+% Lib->Libobject
+gsave
+0.985401 setlinewidth
+0.000 0.000 0.000 edgecolor
+newpath 237 256 moveto
+254 243 280 223 300 208 curveto
 stroke
-gsave 10 dict begin
+0.000 0.000 0.000 edgecolor
+newpath 302.1 210.8 moveto
+308 202 lineto
+297.9 205.2 lineto
+closepath fill
+0.985401 setlinewidth
 solid
-1 setlinewidth
-0.000 0.000 0.000 edgecolor
-newpath 382 85 moveto
-390 78 lineto
-379 79 lineto
-closepath
-fill
-0.000 0.000 0.000 edgecolor
-newpath 382 85 moveto
-390 78 lineto
-379 79 lineto
-closepath
-stroke
-end grestore
-
-%	Global -> Libnames
-newpath 443 73 moveto
-473 81 522 94 564 107 curveto
-576 111 589 115 600 119 curveto
+0.000 0.000 0.000 edgecolor
+newpath 302.1 210.8 moveto
+308 202 lineto
+297.9 205.2 lineto
+closepath stroke
+grestore
+% Nameops
+gsave
+0.502 1.000 0.820 nodecolor
+203 20 39.1777 18 ellipse_path fill
+0.985401 setlinewidth
+filled
+0.502 1.000 0.820 nodecolor
+203 20 39.1777 18 ellipse_path stroke
+0.000 0.000 0.000 nodecolor
+14.00 /Times-Roman set_font
+203 15 moveto 52 -0.5 (Nameops) alignedtext
+grestore
+% Libnames->Nameops
+gsave
+0.985401 setlinewidth
+0.000 0.000 0.000 edgecolor
+newpath 203 85 moveto
+203 74 203 60 203 48 curveto
 stroke
-gsave 10 dict begin
+0.000 0.000 0.000 edgecolor
+newpath 206.5 48 moveto
+203 38 lineto
+199.5 48 lineto
+closepath fill
+0.985401 setlinewidth
 solid
-1 setlinewidth
-0.000 0.000 0.000 edgecolor
-newpath 599 122 moveto
-610 122 lineto
-601 116 lineto
-closepath
-fill
-0.000 0.000 0.000 edgecolor
-newpath 599 122 moveto
-610 122 lineto
-601 116 lineto
-closepath
-stroke
-end grestore
-
-%	Global -> Summary
-newpath 446 65 moveto
-484 65 547 65 591 65 curveto
+0.000 0.000 0.000 edgecolor
+newpath 206.5 48 moveto
+203 38 lineto
+199.5 48 lineto
+closepath stroke
+grestore
+% Goptions
+gsave
+0.502 1.000 0.820 nodecolor
+322 353 38.1754 18 ellipse_path fill
+0.985401 setlinewidth
+filled
+0.502 1.000 0.820 nodecolor
+322 353 38.1754 18 ellipse_path stroke
+0.000 0.000 0.000 nodecolor
+14.00 /Times-Roman set_font
+322 348 moveto 51 -0.5 (Goptions) alignedtext
+grestore
+% Goptions->Lib
+gsave
+0.985401 setlinewidth
+0.000 0.000 0.000 edgecolor
+newpath 303 337 moveto
+287 324 263 305 245 291 curveto
 stroke
-gsave 10 dict begin
+0.000 0.000 0.000 edgecolor
+newpath 246.831 287.951 moveto
+237 284 lineto
+242.221 293.219 lineto
+closepath fill
+0.985401 setlinewidth
 solid
-1 setlinewidth
-0.000 0.000 0.000 edgecolor
-newpath 591 69 moveto
-601 65 lineto
-591 62 lineto
-closepath
-fill
-0.000 0.000 0.000 edgecolor
-newpath 591 69 moveto
-601 65 lineto
-591 62 lineto
-closepath
-stroke
-end grestore
-
-%	Goptions
-gsave 10 dict begin
-274 180 39 18 ellipse_path
-stroke
-gsave 10 dict begin
-248 175 moveto
-(Goptions)
-[10.08 6.96 6.96 3.84 3.84 6.96 6.96 5.52]
-xshow
-end grestore
-end grestore
-
-%	Goptions -> Lib
-newpath 310 173 moveto
-331 169 356 164 377 160 curveto
+0.000 0.000 0.000 edgecolor
+newpath 246.831 287.951 moveto
+237 284 lineto
+242.221 293.219 lineto
+closepath stroke
+grestore
+% Nametab->Summary
+gsave
+0.985401 setlinewidth
+0.000 0.000 0.000 edgecolor
+newpath 180 172 moveto
+158 159 125 138 101 123 curveto
 stroke
-gsave 10 dict begin
+0.000 0.000 0.000 edgecolor
+newpath 102.441 119.797 moveto
+92 118 lineto
+99.0418 125.916 lineto
+closepath fill
+0.985401 setlinewidth
 solid
-1 setlinewidth
-0.000 0.000 0.000 edgecolor
-newpath 378 163 moveto
-387 158 lineto
-377 157 lineto
-closepath
-fill
-0.000 0.000 0.000 edgecolor
-newpath 378 163 moveto
-387 158 lineto
-377 157 lineto
-closepath
-stroke
-end grestore
-
-%	Dischargedhypsmap
-gsave 10 dict begin
-274 234 70 18 ellipse_path
-stroke
-gsave 10 dict begin
-217 229 moveto
-(Dischargedhypsmap)
-[10.08 3.84 5.52 6 6.96 6.24 4.32 6.72 6.24 6.96 6.48 6.96 6.96 5.52 10.8 6.24 6.96]
-xshow
-end grestore
-end grestore
-
-%	Dischargedhypsmap -> Lib
-newpath 317 220 moveto
-326 216 336 212 344 207 curveto
-360 197 376 185 389 175 curveto
+0.000 0.000 0.000 edgecolor
+newpath 102.441 119.797 moveto
+92 118 lineto
+99.0418 125.916 lineto
+closepath stroke
+grestore
+% Nametab->Libnames
+gsave
+0.985401 setlinewidth
+0.000 0.000 0.000 edgecolor
+newpath 203 168 moveto
+203 157 203 143 203 131 curveto
 stroke
-gsave 10 dict begin
+0.000 0.000 0.000 edgecolor
+newpath 206.5 131 moveto
+203 121 lineto
+199.5 131 lineto
+closepath fill
+0.985401 setlinewidth
 solid
-1 setlinewidth
-0.000 0.000 0.000 edgecolor
-newpath 392 177 moveto
-397 168 lineto
-387 172 lineto
-closepath
-fill
-0.000 0.000 0.000 edgecolor
-newpath 392 177 moveto
-397 168 lineto
-387 172 lineto
-closepath
-stroke
-end grestore
-
-%	Declare
-gsave 10 dict begin
-132 126 35 18 ellipse_path
-stroke
-gsave 10 dict begin
-109 121 moveto
-(Declare)
-[10.08 6.24 6.24 3.84 6.24 4.56 6.24]
-xshow
-end grestore
-end grestore
-
-%	Declare -> Impargs
-newpath 168 126 moveto
-186 126 208 126 228 126 curveto
+0.000 0.000 0.000 edgecolor
+newpath 206.5 131 moveto
+203 121 lineto
+199.5 131 lineto
+closepath stroke
+grestore
+% Libobject->Libnames
+gsave
+0.985401 setlinewidth
+0.000 0.000 0.000 edgecolor
+newpath 306 171 moveto
+286 158 256 138 235 124 curveto
 stroke
-gsave 10 dict begin
+0.000 0.000 0.000 edgecolor
+newpath 236.262 120.635 moveto
+226 118 lineto
+232.379 126.459 lineto
+closepath fill
+0.985401 setlinewidth
 solid
-1 setlinewidth
-0.000 0.000 0.000 edgecolor
-newpath 228 130 moveto
-238 126 lineto
-228 123 lineto
-closepath
-fill
-0.000 0.000 0.000 edgecolor
-newpath 228 130 moveto
-238 126 lineto
-228 123 lineto
-closepath
-stroke
-end grestore
-
-%	Declare -> Dischargedhypsmap
-newpath 144 143 moveto
-157 161 179 189 204 207 curveto
-209 210 215 213 221 216 curveto
+0.000 0.000 0.000 edgecolor
+newpath 236.262 120.635 moveto
+226 118 lineto
+232.379 126.459 lineto
+closepath stroke
+grestore
+% Library
+gsave
+0.502 1.000 0.820 nodecolor
+65 436 34.1751 18 ellipse_path fill
+0.985401 setlinewidth
+filled
+0.502 1.000 0.820 nodecolor
+65 436 34.1751 18 ellipse_path stroke
+0.000 0.000 0.000 nodecolor
+14.00 /Times-Roman set_font
+65 431 moveto 43 -0.5 (Library) alignedtext
+grestore
+% Library->Declaremods
+gsave
+0.985401 setlinewidth
+0.000 0.000 0.000 edgecolor
+newpath 65 418 moveto
+65 407 65 393 65 381 curveto
 stroke
-gsave 10 dict begin
+0.000 0.000 0.000 edgecolor
+newpath 68.5001 381 moveto
+65 371 lineto
+61.5001 381 lineto
+closepath fill
+0.985401 setlinewidth
 solid
-1 setlinewidth
-0.000 0.000 0.000 edgecolor
-newpath 219 219 moveto
-230 220 lineto
-222 213 lineto
-closepath
-fill
-0.000 0.000 0.000 edgecolor
-newpath 219 219 moveto
-230 220 lineto
-222 213 lineto
-closepath
-stroke
-end grestore
-
-%	Decl_kinds
-gsave 10 dict begin
-274 72 45 18 ellipse_path
-stroke
-gsave 10 dict begin
-241 67 moveto
-(Decl_kinds)
-[10.08 6.24 6.24 3.84 6.96 6.96 3.84 6.96 6.96 5.52]
-xshow
-end grestore
-end grestore
-
-%	Declare -> Decl_kinds
-newpath 161 115 moveto
-181 107 209 97 232 88 curveto
+0.000 0.000 0.000 edgecolor
+newpath 68.5001 381 moveto
+65 371 lineto
+61.5001 381 lineto
+closepath stroke
+grestore
+% States
+gsave
+0.502 1.000 0.820 nodecolor
+65 519 29.1747 18 ellipse_path fill
+0.985401 setlinewidth
+filled
+0.502 1.000 0.820 nodecolor
+65 519 29.1747 18 ellipse_path stroke
+0.000 0.000 0.000 nodecolor
+14.00 /Times-Roman set_font
+65 514 moveto 33 -0.5 (States) alignedtext
+grestore
+% States->Library
+gsave
+0.985401 setlinewidth
+0.000 0.000 0.000 edgecolor
+newpath 65 501 moveto
+65 490 65 476 65 464 curveto
 stroke
-gsave 10 dict begin
+0.000 0.000 0.000 edgecolor
+newpath 68.5001 464 moveto
+65 454 lineto
+61.5001 464 lineto
+closepath fill
+0.985401 setlinewidth
 solid
-1 setlinewidth
-0.000 0.000 0.000 edgecolor
-newpath 233 91 moveto
-241 84 lineto
-230 85 lineto
-closepath
-fill
-0.000 0.000 0.000 edgecolor
-newpath 233 91 moveto
-241 84 lineto
-230 85 lineto
-closepath
-stroke
-end grestore
+0.000 0.000 0.000 edgecolor
+newpath 68.5001 464 moveto
+65 454 lineto
+61.5001 464 lineto
+closepath stroke
+grestore
 endpage
 showpage
 grestore
@@ -831,6 +767,7 @@ grestore
 %%EndPage: 1
 %%Trailer
 %%Pages: 1
+%%BoundingBox: 36 36 576 752
 end
 restore
 %%EOF