diff options
Diffstat (limited to 'dev/ocamlweb-doc/interp.dep.ps')
-rw-r--r-- | dev/ocamlweb-doc/interp.dep.ps | 672 |
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 |