diff options
Diffstat (limited to 'dev/ocamlweb-doc/library.dep.ps')
-rw-r--r-- | dev/ocamlweb-doc/library.dep.ps | 773 |
1 files changed, 0 insertions, 773 deletions
diff --git a/dev/ocamlweb-doc/library.dep.ps b/dev/ocamlweb-doc/library.dep.ps deleted file mode 100644 index c9bb351e..00000000 --- a/dev/ocamlweb-doc/library.dep.ps +++ /dev/null @@ -1,773 +0,0 @@ -%!PS-Adobe-2.0 -%%Creator: Graphviz version 2.12 (Tue Oct 23 13:46:12 UTC 2007) -%%For: (notin) Jean-Marc Notin,,, -%%Title: G -%%Pages: (atend) -%%BoundingBox: (atend) -%%EndComments -save -%%BeginProlog -/DotDict 200 dict def -DotDict begin - -/setupLatin1 { -mark -/EncodingVector 256 array def - EncodingVector 0 - -ISOLatin1Encoding 0 255 getinterval putinterval -EncodingVector 45 /hyphen put - -% Set up ISO Latin 1 character encoding -/starnetISO { - dup dup findfont dup length dict begin - { 1 index /FID ne { def }{ pop pop } ifelse - } forall - /Encoding EncodingVector def - currentdict end definefont -} def -/Times-Roman starnetISO def -/Times-Italic starnetISO def -/Times-Bold starnetISO def -/Times-BoldItalic starnetISO def -/Helvetica starnetISO def -/Helvetica-Oblique starnetISO def -/Helvetica-Bold starnetISO def -/Helvetica-BoldOblique starnetISO def -/Courier starnetISO def -/Courier-Oblique starnetISO def -/Courier-Bold starnetISO def -/Courier-BoldOblique starnetISO def -cleartomark -} bind def - -%%BeginResource: procset graphviz 0 0 -/coord-font-family /Times-Roman def -/default-font-family /Times-Roman def -/coordfont coord-font-family findfont 8 scalefont def - -/InvScaleFactor 1.0 def -/set_scale { - dup 1 exch div /InvScaleFactor exch def - scale -} bind def - -% styles -/solid { [] 0 setdash } bind def -/dashed { [9 InvScaleFactor mul dup ] 0 setdash } bind def -/dotted { [1 InvScaleFactor mul 6 InvScaleFactor mul] 0 setdash } bind def -/invis {/fill {newpath} def /stroke {newpath} def /show {pop newpath} def} bind def -/bold { 2 setlinewidth } bind def -/filled { } bind def -/unfilled { } bind def -/rounded { } bind def -/diagonals { } bind def - -% hooks for setting color -/nodecolor { sethsbcolor } bind def -/edgecolor { sethsbcolor } bind def -/graphcolor { sethsbcolor } bind def -/nopcolor {pop pop pop} bind def - -/beginpage { % i j npages - /npages exch def - /j exch def - /i exch def - /str 10 string def - npages 1 gt { - gsave - coordfont setfont - 0 0 moveto - (\() show i str cvs show (,) show j str cvs show (\)) show - grestore - } if -} bind def - -/set_font { - findfont exch - scalefont setfont -} def - -% draw aligned label in bounding box aligned to current point -/alignedtext { % width adj text - /text exch def - /adj exch def - /width exch def - gsave - width 0 gt { - text stringwidth pop adj mul 0 rmoveto - } if - [] 0 setdash - text show - grestore -} def - -/boxprim { % xcorner ycorner xsize ysize - 4 2 roll - moveto - 2 copy - exch 0 rlineto - 0 exch rlineto - pop neg 0 rlineto - closepath -} bind def - -/ellipse_path { - /ry exch def - /rx exch def - /y exch def - /x exch def - matrix currentmatrix - newpath - x y translate - rx ry scale - 0 0 1 0 360 arc - setmatrix -} bind def - -/endpage { showpage } bind def -/showpage { } def - -/layercolorseq - [ % layer color sequence - darkest to lightest - [0 0 0] - [.2 .8 .8] - [.4 .8 .8] - [.6 .8 .8] - [.8 .8 .8] - ] -def - -/layerlen layercolorseq length def - -/setlayer {/maxlayer exch def /curlayer exch def - layercolorseq curlayer 1 sub layerlen mod get - aload pop sethsbcolor - /nodecolor {nopcolor} def - /edgecolor {nopcolor} def - /graphcolor {nopcolor} def -} bind def - -/onlayer { curlayer ne {invis} if } def - -/onlayers { - /myupper exch def - /mylower exch def - curlayer mylower lt - curlayer myupper gt - or - {invis} if -} def - -/curlayer 0 def - -%%EndResource -%%EndProlog -%%BeginSetup -14 default-font-family set_font -1 setmiterlimit -% /arrowlength 10 def -% /arrowwidth 5 def - -% make sure pdfmark is harmless for PS-interpreters other than Distiller -/pdfmark where {pop} {userdict /pdfmark /cleartomark load put} ifelse -% make '<<' and '>>' safe on PS Level 1 devices -/languagelevel where {pop languagelevel}{1} ifelse -2 lt { - userdict (<<) cvn ([) cvn load put - userdict (>>) cvn ([) cvn load put -} if - -%%EndSetup -setupLatin1 -%%Page: 1 1 -%%PageBoundingBox: 36 36 576 752 -%%PageOrientation: Landscape -gsave -36 36 576 752 boxprim clip newpath -0 0 1 beginpage -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -%%PageTrailer -%%EndPage: 1 -%%Trailer -%%Pages: 1 -%%BoundingBox: 36 36 576 752 -end -restore -%%EOF |