summaryrefslogtreecommitdiff
path: root/dev/ocamlweb-doc/interp.dep.ps
diff options
context:
space:
mode:
Diffstat (limited to 'dev/ocamlweb-doc/interp.dep.ps')
-rw-r--r--dev/ocamlweb-doc/interp.dep.ps672
1 files changed, 317 insertions, 355 deletions
diff --git a/dev/ocamlweb-doc/interp.dep.ps b/dev/ocamlweb-doc/interp.dep.ps
index b0554481..fda7a33c 100644
--- a/dev/ocamlweb-doc/interp.dep.ps
+++ b/dev/ocamlweb-doc/interp.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 160
+%%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,348 +179,359 @@ def
} if
%%EndSetup
+setupLatin1
%%Page: 1 1
-%%PageBoundingBox: 36 36 577 160
-%%PageOrientation: Portrait
+%%PageBoundingBox: 36 36 576 753
+%%PageOrientation: Landscape
gsave
-35 35 542 125 boxprim clip newpath
-36 36 translate
+36 36 576 753 boxprim clip newpath
0 0 1 beginpage
-0.9343 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
+724 544 lineto
+724 -4 lineto
+closepath fill
+0.985401 setlinewidth
+0.000 0.000 1.000 graphcolor
+newpath -4 -4 moveto
+-4 544 lineto
+724 544 lineto
+724 -4 lineto
+closepath stroke
+% Constrextern
+gsave
+0.502 1.000 0.820 nodecolor
+172 417 49.1777 18 ellipse_path fill
+0.985401 setlinewidth
+filled
+0.502 1.000 0.820 nodecolor
+172 417 49.1777 18 ellipse_path stroke
+0.000 0.000 0.000 nodecolor
14.00 /Times-Roman set_font
-
-% Syntax_def
-gsave 10 dict begin
-303 110 45 18 ellipse_path
-stroke
-gsave 10 dict begin
-271 105 moveto
-(Syntax_def)
-[7.68 6.96 6.96 4.08 6.24 6.96 6.96 6.96 6.24 4.56]
-xshow
-end grestore
-end grestore
-
-% Notation
-gsave 10 dict begin
-422 60 38 18 ellipse_path
-stroke
-gsave 10 dict begin
-397 55 moveto
-(Notation)
-[9.84 6.72 4.08 6.24 3.84 3.84 6.96 6.96]
-xshow
-end grestore
-end grestore
-
-% Syntax_def -> Notation
-newpath 334 97 moveto
-350 90 369 83 385 76 curveto
+172 412 moveto 72 -0.5 (Constrextern) alignedtext
+grestore
+% Reserve
+gsave
+0.502 1.000 0.820 nodecolor
+264 319 35.1777 18 ellipse_path fill
+0.985401 setlinewidth
+filled
+0.502 1.000 0.820 nodecolor
+264 319 35.1777 18 ellipse_path stroke
+0.000 0.000 0.000 nodecolor
+14.00 /Times-Roman set_font
+264 314 moveto 44 -0.5 (Reserve) alignedtext
+grestore
+% Constrextern->Reserve
+gsave
+0.985401 setlinewidth
+0.000 0.000 0.000 edgecolor
+newpath 188 400 moveto
+203 384 225 361 242 343 curveto
stroke
-gsave 10 dict begin
+0.000 0.000 0.000 edgecolor
+newpath 245.049 344.831 moveto
+249 335 lineto
+239.781 340.221 lineto
+closepath fill
+0.985401 setlinewidth
solid
-1 setlinewidth
0.000 0.000 0.000 edgecolor
-newpath 386 79 moveto
-394 72 lineto
-383 73 lineto
-closepath
-fill
+newpath 245.049 344.831 moveto
+249 335 lineto
+239.781 340.221 lineto
+closepath stroke
+grestore
+% Notation
+gsave
+0.502 1.000 0.820 nodecolor
+268 122 37.1753 18 ellipse_path fill
+0.985401 setlinewidth
+filled
+0.502 1.000 0.820 nodecolor
+268 122 37.1753 18 ellipse_path stroke
+0.000 0.000 0.000 nodecolor
+14.00 /Times-Roman set_font
+268 117 moveto 49 -0.5 (Notation) alignedtext
+grestore
+% Constrextern->Notation
+gsave
+0.985401 setlinewidth
0.000 0.000 0.000 edgecolor
-newpath 386 79 moveto
-394 72 lineto
-383 73 lineto
-closepath
-stroke
-end grestore
-
-% Ppextend
-gsave 10 dict begin
-537 60 39 18 ellipse_path
+newpath 178 399 moveto
+194 349 240 209 259 150 curveto
stroke
-gsave 10 dict begin
-511 55 moveto
-(Ppextend)
-[7.68 6.96 5.76 6.96 3.84 6.24 6.96 6.96]
-xshow
-end grestore
-end grestore
-
-% Notation -> Ppextend
-newpath 460 60 moveto
-469 60 478 60 488 60 curveto
-stroke
-gsave 10 dict begin
+0.000 0.000 0.000 edgecolor
+newpath 262.479 150.584 moveto
+262 140 lineto
+255.774 148.573 lineto
+closepath fill
+0.985401 setlinewidth
solid
-1 setlinewidth
0.000 0.000 0.000 edgecolor
-newpath 488 64 moveto
-498 60 lineto
-488 57 lineto
-closepath
-fill
+newpath 262.479 150.584 moveto
+262 140 lineto
+255.774 148.573 lineto
+closepath stroke
+grestore
+% Topconstr
+gsave
+0.502 1.000 0.820 nodecolor
+82 24 41.1755 18 ellipse_path fill
+0.985401 setlinewidth
+filled
+0.502 1.000 0.820 nodecolor
+82 24 41.1755 18 ellipse_path stroke
+0.000 0.000 0.000 nodecolor
+14.00 /Times-Roman set_font
+82 19 moveto 57 -0.5 (Topconstr) alignedtext
+grestore
+% Notation->Topconstr
+gsave
+0.985401 setlinewidth
0.000 0.000 0.000 edgecolor
-newpath 488 64 moveto
-498 60 lineto
-488 57 lineto
-closepath
-stroke
-end grestore
-
-% Topconstr
-gsave 10 dict begin
-537 114 41 18 ellipse_path
+newpath 243 109 moveto
+211 91 154 62 117 43 curveto
stroke
-gsave 10 dict begin
-509 109 moveto
-(Topconstr)
-[7.2 6.96 6.96 6.24 6.96 6.96 5.28 3.84 4.56]
-xshow
-end grestore
-end grestore
-
-% Notation -> Topconstr
-newpath 449 73 moveto
-464 80 483 89 500 97 curveto
-stroke
-gsave 10 dict begin
+0.000 0.000 0.000 edgecolor
+newpath 118.441 39.7969 moveto
+108 38 lineto
+115.042 45.916 lineto
+closepath fill
+0.985401 setlinewidth
solid
-1 setlinewidth
0.000 0.000 0.000 edgecolor
-newpath 498 100 moveto
-509 101 lineto
-501 94 lineto
-closepath
-fill
+newpath 118.441 39.7969 moveto
+108 38 lineto
+115.042 45.916 lineto
+closepath stroke
+grestore
+% Ppextend
+gsave
+0.502 1.000 0.820 nodecolor
+278 24 39.1777 18 ellipse_path fill
+0.985401 setlinewidth
+filled
+0.502 1.000 0.820 nodecolor
+278 24 39.1777 18 ellipse_path stroke
+0.000 0.000 0.000 nodecolor
+14.00 /Times-Roman set_font
+278 19 moveto 52 -0.5 (Ppextend) alignedtext
+grestore
+% Notation->Ppextend
+gsave
+0.985401 setlinewidth
0.000 0.000 0.000 edgecolor
-newpath 498 100 moveto
-509 101 lineto
-501 94 lineto
-closepath
-stroke
-end grestore
-
-% Modintern
-gsave 10 dict begin
-44 98 43 18 ellipse_path
-stroke
-gsave 10 dict begin
-13 93 moveto
-(Modintern)
-[12.48 6.96 6.96 3.84 6.96 3.84 6.24 4.8 6.96]
-xshow
-end grestore
-end grestore
-
-% Constrintern
-gsave 10 dict begin
-173 98 48 18 ellipse_path
+newpath 270 104 moveto
+272 89 273 68 275 52 curveto
stroke
-gsave 10 dict begin
-138 93 moveto
-(Constrintern)
-[9.36 6.96 6.96 5.28 3.84 4.8 3.84 6.96 3.84 6.24 4.8 6.96]
-xshow
-end grestore
-end grestore
-
-% Modintern -> Constrintern
-newpath 88 98 moveto
-97 98 106 98 115 98 curveto
-stroke
-gsave 10 dict begin
+0.000 0.000 0.000 edgecolor
+newpath 278.488 52.2987 moveto
+276 42 lineto
+271.522 51.6021 lineto
+closepath fill
+0.985401 setlinewidth
solid
-1 setlinewidth
0.000 0.000 0.000 edgecolor
-newpath 115 102 moveto
-125 98 lineto
-115 95 lineto
-closepath
-fill
+newpath 278.488 52.2987 moveto
+276 42 lineto
+271.522 51.6021 lineto
+closepath stroke
+grestore
+% Constrintern
+gsave
+0.502 1.000 0.820 nodecolor
+472 417 48.1777 18 ellipse_path fill
+0.985401 setlinewidth
+filled
+0.502 1.000 0.820 nodecolor
+472 417 48.1777 18 ellipse_path stroke
+0.000 0.000 0.000 nodecolor
+14.00 /Times-Roman set_font
+472 412 moveto 70 -0.5 (Constrintern) alignedtext
+grestore
+% Constrintern->Reserve
+gsave
+0.985401 setlinewidth
0.000 0.000 0.000 edgecolor
-newpath 115 102 moveto
-125 98 lineto
-115 95 lineto
-closepath
-stroke
-end grestore
-
-% Constrintern -> Syntax_def
-newpath 220 102 moveto
-229 103 239 104 249 105 curveto
+newpath 442 403 moveto
+404 385 340 355 299 335 curveto
stroke
-gsave 10 dict begin
+0.000 0.000 0.000 edgecolor
+newpath 300.56 331.863 moveto
+290 331 lineto
+297.717 338.26 lineto
+closepath fill
+0.985401 setlinewidth
solid
-1 setlinewidth
0.000 0.000 0.000 edgecolor
-newpath 249 108 moveto
-259 106 lineto
-249 102 lineto
-closepath
-fill
+newpath 300.56 331.863 moveto
+290 331 lineto
+297.717 338.26 lineto
+closepath stroke
+grestore
+% Implicit_quantifiers
+gsave
+0.502 1.000 0.820 nodecolor
+508 319 69.1777 18 ellipse_path fill
+0.985401 setlinewidth
+filled
+0.502 1.000 0.820 nodecolor
+508 319 69.1777 18 ellipse_path stroke
+0.000 0.000 0.000 nodecolor
+14.00 /Times-Roman set_font
+508 314 moveto 112 -0.5 (Implicit_quantifiers) alignedtext
+grestore
+% Constrintern->Implicit_quantifiers
+gsave
+0.985401 setlinewidth
0.000 0.000 0.000 edgecolor
-newpath 249 108 moveto
-259 106 lineto
-249 102 lineto
-closepath
+newpath 479 399 moveto
+484 385 492 364 498 347 curveto
stroke
-end grestore
-
-% Reserve
-gsave 10 dict begin
-303 56 35 18 ellipse_path
-stroke
-gsave 10 dict begin
-280 51 moveto
-(Reserve)
-[9.12 6.24 5.52 6.24 4.8 6.48 6.24]
-xshow
-end grestore
-end grestore
-
-% Constrintern -> Reserve
-newpath 210 86 moveto
-227 81 246 75 263 69 curveto
-stroke
-gsave 10 dict begin
+0.000 0.000 0.000 edgecolor
+newpath 501.479 347.584 moveto
+501 337 lineto
+494.774 345.573 lineto
+closepath fill
+0.985401 setlinewidth
solid
-1 setlinewidth
0.000 0.000 0.000 edgecolor
-newpath 264 72 moveto
-273 66 lineto
-262 66 lineto
-closepath
-fill
+newpath 501.479 347.584 moveto
+501 337 lineto
+494.774 345.573 lineto
+closepath stroke
+grestore
+% Syntax_def
+gsave
+0.502 1.000 0.820 nodecolor
+396 220 45.1777 18 ellipse_path fill
+0.985401 setlinewidth
+filled
+0.502 1.000 0.820 nodecolor
+396 220 45.1777 18 ellipse_path stroke
+0.000 0.000 0.000 nodecolor
+14.00 /Times-Roman set_font
+396 215 moveto 64 -0.5 (Syntax_def) alignedtext
+grestore
+% Implicit_quantifiers->Syntax_def
+gsave
+0.985401 setlinewidth
0.000 0.000 0.000 edgecolor
-newpath 264 72 moveto
-273 66 lineto
-262 66 lineto
-closepath
-stroke
-end grestore
-
-% Genarg
-gsave 10 dict begin
-422 114 33 18 ellipse_path
-stroke
-gsave 10 dict begin
-401 109 moveto
-(Genarg)
-[10.08 6.24 6.96 6.24 4.32 6.96]
-xshow
-end grestore
-end grestore
-
-% Genarg -> Topconstr
-newpath 456 114 moveto
-465 114 476 114 486 114 curveto
+newpath 488 302 moveto
+469 285 442 261 422 244 curveto
stroke
-gsave 10 dict begin
+0.000 0.000 0.000 edgecolor
+newpath 424.546 241.596 moveto
+415 237 lineto
+419.596 246.546 lineto
+closepath fill
+0.985401 setlinewidth
solid
-1 setlinewidth
0.000 0.000 0.000 edgecolor
-newpath 486 118 moveto
-496 114 lineto
-486 111 lineto
-closepath
-fill
+newpath 424.546 241.596 moveto
+415 237 lineto
+419.596 246.546 lineto
+closepath stroke
+grestore
+% Coqlib
+gsave
+0.502 1.000 0.820 nodecolor
+656 515 32.1777 18 ellipse_path fill
+0.985401 setlinewidth
+filled
+0.502 1.000 0.820 nodecolor
+656 515 32.1777 18 ellipse_path stroke
+0.000 0.000 0.000 nodecolor
+14.00 /Times-Roman set_font
+656 510 moveto 38 -0.5 (Coqlib) alignedtext
+grestore
+% Genarg
+gsave
+0.502 1.000 0.820 nodecolor
+82 122 33.175 18 ellipse_path fill
+0.985401 setlinewidth
+filled
+0.502 1.000 0.820 nodecolor
+82 122 33.175 18 ellipse_path stroke
+0.000 0.000 0.000 nodecolor
+14.00 /Times-Roman set_font
+82 117 moveto 41 -0.5 (Genarg) alignedtext
+grestore
+% Genarg->Topconstr
+gsave
+0.985401 setlinewidth
0.000 0.000 0.000 edgecolor
-newpath 486 118 moveto
-496 114 lineto
-486 111 lineto
-closepath
-stroke
-end grestore
-
-% Coqlib
-gsave 10 dict begin
-44 21 32 18 ellipse_path
-stroke
-gsave 10 dict begin
-24 16 moveto
-(Coqlib)
-[9.36 6.96 6.96 3.84 3.84 6.96]
-xshow
-end grestore
-end grestore
-
-% Constrextern
-gsave 10 dict begin
-173 21 49 18 ellipse_path
+newpath 82 104 moveto
+82 89 82 69 82 52 curveto
stroke
-gsave 10 dict begin
-137 16 moveto
-(Constrextern)
-[9.36 6.96 6.96 5.28 3.84 4.56 5.76 6.96 3.84 6.24 4.8 6.96]
-xshow
-end grestore
-end grestore
-
-% Coqlib -> Constrextern
-newpath 77 21 moveto
-88 21 101 21 114 21 curveto
-stroke
-gsave 10 dict begin
+0.000 0.000 0.000 edgecolor
+newpath 85.5001 52 moveto
+82 42 lineto
+78.5001 52 lineto
+closepath fill
+0.985401 setlinewidth
solid
-1 setlinewidth
0.000 0.000 0.000 edgecolor
-newpath 114 25 moveto
-124 21 lineto
-114 18 lineto
-closepath
-fill
+newpath 85.5001 52 moveto
+82 42 lineto
+78.5001 52 lineto
+closepath stroke
+grestore
+% Syntax_def->Notation
+gsave
+0.985401 setlinewidth
0.000 0.000 0.000 edgecolor
-newpath 114 25 moveto
-124 21 lineto
-114 18 lineto
-closepath
-stroke
-end grestore
-
-% Constrextern -> Notation
-newpath 222 19 moveto
-257 18 307 20 348 29 curveto
-361 31 375 37 388 42 curveto
+newpath 375 204 moveto
+354 187 320 161 296 143 curveto
stroke
-gsave 10 dict begin
+0.000 0.000 0.000 edgecolor
+newpath 298.1 140.2 moveto
+288 137 lineto
+293.9 145.8 lineto
+closepath fill
+0.985401 setlinewidth
solid
-1 setlinewidth
0.000 0.000 0.000 edgecolor
-newpath 386 45 moveto
-397 46 lineto
-389 39 lineto
-closepath
-fill
+newpath 298.1 140.2 moveto
+288 137 lineto
+293.9 145.8 lineto
+closepath stroke
+grestore
+% Modintern
+gsave
+0.502 1.000 0.820 nodecolor
+472 515 42.1756 18 ellipse_path fill
+0.985401 setlinewidth
+filled
+0.502 1.000 0.820 nodecolor
+472 515 42.1756 18 ellipse_path stroke
+0.000 0.000 0.000 nodecolor
+14.00 /Times-Roman set_font
+472 510 moveto 59 -0.5 (Modintern) alignedtext
+grestore
+% Modintern->Constrintern
+gsave
+0.985401 setlinewidth
0.000 0.000 0.000 edgecolor
-newpath 386 45 moveto
-397 46 lineto
-389 39 lineto
-closepath
+newpath 472 497 moveto
+472 482 472 462 472 445 curveto
stroke
-end grestore
-
-% Constrextern -> Reserve
-newpath 213 32 moveto
-228 36 246 41 261 45 curveto
-stroke
-gsave 10 dict begin
-solid
-1 setlinewidth
0.000 0.000 0.000 edgecolor
-newpath 260 48 moveto
-271 48 lineto
-262 42 lineto
-closepath
-fill
+newpath 475.5 445 moveto
+472 435 lineto
+468.5 445 lineto
+closepath fill
+0.985401 setlinewidth
+solid
0.000 0.000 0.000 edgecolor
-newpath 260 48 moveto
-271 48 lineto
-262 42 lineto
-closepath
-stroke
-end grestore
+newpath 475.5 445 moveto
+472 435 lineto
+468.5 445 lineto
+closepath stroke
+grestore
endpage
showpage
grestore
@@ -578,6 +539,7 @@ grestore
%%EndPage: 1
%%Trailer
%%Pages: 1
+%%BoundingBox: 36 36 576 753
end
restore
%%EOF