path: root/dev/ocamlweb-doc/toplevel.dep.ps

%!PS-Adobe-2.0
%%Creator: dot version 2.2 (Wed Jan 19 21:09:25 UTC 2005)
%%For: (herbelin) Hugo Herbelin
%%Title: G
%%Pages: (atend)
%%BoundingBox: 35 35 577 166
%%EndComments
save
%%BeginProlog
/DotDict 200 dict def
DotDict begin

/setupLatin1 {
mark
/EncodingVector 256 array def
 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  

% 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
	dup 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
%%Page: 1 1
%%PageBoundingBox: 36 36 577 166
%%PageOrientation: Portrait
gsave
35 35 542 131 boxprim clip newpath
36 36 translate
0 0 1 beginpage
0.4180 set_scale
0 0 translate 0 rotate
0.000 0.000 0.000 graphcolor
14.00 /Times-Roman set_font

%	Vernac
gsave 10 dict begin
562 145 33 18 ellipse_path
stroke
gsave 10 dict begin
541 140 moveto
(Vernac)
[8.88 6.24 4.8 6.96 6.24 6.24]
xshow
end grestore
end grestore

%	Vernacentries
gsave 10 dict begin
724 158 52 18 ellipse_path
stroke
gsave 10 dict begin
685 153 moveto
(Vernacentries)
[8.88 6.24 4.8 6.96 6.24 6.24 6.24 6.96 3.84 4.8 3.84 6.24 5.52]
xshow
end grestore
end grestore

%	Vernac -> Vernacentries
newpath 595 148 moveto
615 149 640 151 663 153 curveto
stroke
gsave 10 dict begin
solid
1 setlinewidth
0.000 0.000 0.000 edgecolor
newpath 663 156 moveto
673 154 lineto
663 150 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
newpath 663 156 moveto
673 154 lineto
663 150 lineto
closepath
stroke
end grestore

%	Vernacinterp
gsave 10 dict begin
862 158 50 18 ellipse_path
stroke
gsave 10 dict begin
825 153 moveto
(Vernacinterp)
[8.88 6.24 4.8 6.96 6.24 6.24 3.84 6.96 3.84 6.24 4.8 6.96]
xshow
end grestore
end grestore

%	Vernacentries -> Vernacinterp
newpath 776 158 moveto
785 158 793 158 802 158 curveto
stroke
gsave 10 dict begin
solid
1 setlinewidth
0.000 0.000 0.000 edgecolor
newpath 802 162 moveto
812 158 lineto
802 155 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
newpath 802 162 moveto
812 158 lineto
802 155 lineto
closepath
stroke
end grestore

%	Discharge
gsave 10 dict begin
862 212 42 18 ellipse_path
stroke
gsave 10 dict begin
833 207 moveto
(Discharge)
[10.08 3.84 5.52 6 6.96 6.24 4.32 6.72 6.24]
xshow
end grestore
end grestore

%	Vernacentries -> Discharge
newpath 758 171 moveto
777 179 801 188 822 196 curveto
stroke
gsave 10 dict begin
solid
1 setlinewidth
0.000 0.000 0.000 edgecolor
newpath 820 199 moveto
831 200 lineto
823 193 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
newpath 820 199 moveto
831 200 lineto
823 193 lineto
closepath
stroke
end grestore

%	Mltop
gsave 10 dict begin
862 104 31 18 ellipse_path
stroke
gsave 10 dict begin
844 99 moveto
(Mltop)
[12.48 3.84 3.84 6.96 6.96]
xshow
end grestore
end grestore

%	Vernacentries -> Mltop
newpath 758 145 moveto
779 137 805 126 826 118 curveto
stroke
gsave 10 dict begin
solid
1 setlinewidth
0.000 0.000 0.000 edgecolor
newpath 828 121 moveto
836 114 lineto
825 114 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
newpath 828 121 moveto
836 114 lineto
825 114 lineto
closepath
stroke
end grestore

%	Record
gsave 10 dict begin
862 281 33 18 ellipse_path
stroke
gsave 10 dict begin
842 276 moveto
(Record)
[9.12 6.24 6.24 6.96 4.32 6.96]
xshow
end grestore
end grestore

%	Vernacentries -> Record
newpath 742 175 moveto
760 192 788 217 812 239 curveto
819 246 828 253 835 259 curveto
stroke
gsave 10 dict begin
solid
1 setlinewidth
0.000 0.000 0.000 edgecolor
newpath 833 262 moveto
843 266 lineto
838 257 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
newpath 833 262 moveto
843 266 lineto
838 257 lineto
closepath
stroke
end grestore

%	Himsg
gsave 10 dict begin
991 85 32 18 ellipse_path
stroke
gsave 10 dict begin
971 80 moveto
(Himsg)
[10.08 3.84 10.8 5.52 6.96]
xshow
end grestore
end grestore

%	Vernacinterp -> Himsg
newpath 890 143 moveto
897 139 905 135 912 131 curveto
929 123 946 112 960 103 curveto
stroke
gsave 10 dict begin
solid
1 setlinewidth
0.000 0.000 0.000 edgecolor
newpath 962 106 moveto
969 98 lineto
959 100 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
newpath 962 106 moveto
969 98 lineto
959 100 lineto
closepath
stroke
end grestore

%	Vernacexpr
gsave 10 dict begin
1246 221 45 18 ellipse_path
stroke
gsave 10 dict begin
1213 216 moveto
(Vernacexpr)
[8.88 6.24 4.8 6.96 6.24 6.24 5.76 6.96 6.96 4.56]
xshow
end grestore
end grestore

%	Vernacinterp -> Vernacexpr
newpath 912 159 moveto
947 160 994 163 1034 169 curveto
1092 178 1158 195 1200 207 curveto
stroke
gsave 10 dict begin
solid
1 setlinewidth
0.000 0.000 0.000 edgecolor
newpath 1199 210 moveto
1210 210 lineto
1201 204 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
newpath 1199 210 moveto
1210 210 lineto
1201 204 lineto
closepath
stroke
end grestore

%	Class
gsave 10 dict begin
1117 238 28 18 ellipse_path
stroke
gsave 10 dict begin
1101 233 moveto
(Class)
[9.36 3.84 6.24 5.52 5.52]
xshow
end grestore
end grestore

%	Discharge -> Class
newpath 902 217 moveto
917 219 933 221 948 223 curveto
992 228 1044 232 1079 235 curveto
stroke
gsave 10 dict begin
solid
1 setlinewidth
0.000 0.000 0.000 edgecolor
newpath 1079 238 moveto
1089 236 lineto
1079 232 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
newpath 1079 238 moveto
1089 236 lineto
1079 232 lineto
closepath
stroke
end grestore

%	Recordobj
gsave 10 dict begin
991 196 42 18 ellipse_path
stroke
gsave 10 dict begin
962 191 moveto
(Recordobj)
[9.12 6.24 6.24 6.96 4.32 6.96 6.96 6.96 3.84]
xshow
end grestore
end grestore

%	Discharge -> Recordobj
newpath 902 207 moveto
914 205 927 204 940 202 curveto
stroke
gsave 10 dict begin
solid
1 setlinewidth
0.000 0.000 0.000 edgecolor
newpath 940 205 moveto
950 201 lineto
940 199 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
newpath 940 205 moveto
950 201 lineto
940 199 lineto
closepath
stroke
end grestore

%	Command
gsave 10 dict begin
991 288 42 18 ellipse_path
stroke
gsave 10 dict begin
961 283 moveto
(Command)
[9.36 6.96 10.8 10.8 6.24 6.96 6.96]
xshow
end grestore
end grestore

%	Record -> Command
newpath 895 283 moveto
908 284 923 285 938 285 curveto
stroke
gsave 10 dict begin
solid
1 setlinewidth
0.000 0.000 0.000 edgecolor
newpath 938 288 moveto
948 286 lineto
938 282 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
newpath 938 288 moveto
948 286 lineto
938 282 lineto
closepath
stroke
end grestore

%	Toplevel
gsave 10 dict begin
255 72 37 18 ellipse_path
stroke
gsave 10 dict begin
231 67 moveto
(Toplevel)
[7.2 6.96 6.96 3.84 5.76 6.48 6.24 3.84]
xshow
end grestore
end grestore

%	Protectedtoplevel
gsave 10 dict begin
390 72 61 18 ellipse_path
stroke
gsave 10 dict begin
341 67 moveto
(Protectedtoplevel)
[7.68 4.56 6.72 3.84 6.24 6.24 3.84 6.24 6.96 3.84 6.96 6.96 3.84 5.76 6.48 6.24 3.84]
xshow
end grestore
end grestore

%	Toplevel -> Protectedtoplevel
newpath 292 72 moveto
300 72 309 72 318 72 curveto
stroke
gsave 10 dict begin
solid
1 setlinewidth
0.000 0.000 0.000 edgecolor
newpath 318 76 moveto
328 72 lineto
318 69 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
newpath 318 76 moveto
328 72 lineto
318 69 lineto
closepath
stroke
end grestore

%	Protectedtoplevel -> Vernac
newpath 425 87 moveto
455 100 497 117 527 130 curveto
stroke
gsave 10 dict begin
solid
1 setlinewidth
0.000 0.000 0.000 edgecolor
newpath 525 133 moveto
536 134 lineto
528 127 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
newpath 525 133 moveto
536 134 lineto
528 127 lineto
closepath
stroke
end grestore

%	Cerrors
gsave 10 dict begin
724 65 34 18 ellipse_path
stroke
gsave 10 dict begin
702 60 moveto
(Cerrors)
[9.36 6.24 5.04 4.56 6.96 4.56 5.52]
xshow
end grestore
end grestore

%	Protectedtoplevel -> Cerrors
newpath 452 71 moveto
518 70 621 67 679 66 curveto
stroke
gsave 10 dict begin
solid
1 setlinewidth
0.000 0.000 0.000 edgecolor
newpath 679 70 moveto
689 66 lineto
679 63 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
newpath 679 70 moveto
689 66 lineto
679 63 lineto
closepath
stroke
end grestore

%	Line_oriented_parser
gsave 10 dict begin
562 26 73 18 ellipse_path
stroke
gsave 10 dict begin
501 21 moveto
(Line_oriented_parser)
[8.4 3.84 6.96 6.24 6.96 6.96 4.8 3.84 6.24 6.96 3.84 6.24 6.96 6.96 6.96 6.24 4.56 5.52 6.24 4.56]
xshow
end grestore
end grestore

%	Protectedtoplevel -> Line_oriented_parser
newpath 436 60 moveto
457 55 481 48 502 42 curveto
stroke
gsave 10 dict begin
solid
1 setlinewidth
0.000 0.000 0.000 edgecolor
newpath 503 45 moveto
512 39 lineto
501 39 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
newpath 503 45 moveto
512 39 lineto
501 39 lineto
closepath
stroke
end grestore

%	Metasyntax
gsave 10 dict begin
1117 292 46 18 ellipse_path
stroke
gsave 10 dict begin
1083 287 moveto
(Metasyntax)
[12.48 6 4.08 6.24 5.52 6.96 6.96 4.08 6.24 6.96]
xshow
end grestore
end grestore

%	Command -> Metasyntax
newpath 1034 289 moveto
1043 290 1052 290 1061 290 curveto
stroke
gsave 10 dict begin
solid
1 setlinewidth
0.000 0.000 0.000 edgecolor
newpath 1061 293 moveto
1071 291 lineto
1061 287 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
newpath 1061 293 moveto
1071 291 lineto
1061 287 lineto
closepath
stroke
end grestore

%	Command -> Class
newpath 1022 276 moveto
1041 268 1065 259 1084 252 curveto
stroke
gsave 10 dict begin
solid
1 setlinewidth
0.000 0.000 0.000 edgecolor
newpath 1085 255 moveto
1093 248 lineto
1082 249 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
newpath 1085 255 moveto
1093 248 lineto
1082 249 lineto
closepath
stroke
end grestore

%	Cerrors -> Himsg
newpath 758 67 moveto
796 69 859 73 912 77 curveto
924 78 937 79 949 80 curveto
stroke
gsave 10 dict begin
solid
1 setlinewidth
0.000 0.000 0.000 edgecolor
newpath 949 83 moveto
959 81 lineto
949 77 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
newpath 949 83 moveto
959 81 lineto
949 77 lineto
closepath
stroke
end grestore

%	Minicoq
gsave 10 dict begin
38 126 37 18 ellipse_path
stroke
gsave 10 dict begin
13 121 moveto
(Minicoq)
[12.48 3.84 6.96 3.84 6.24 6.96 6.96]
xshow
end grestore
end grestore

%	Fhimsg
gsave 10 dict begin
147 126 34 18 ellipse_path
stroke
gsave 10 dict begin
125 121 moveto
(Fhimsg)
[7.68 6.96 3.84 10.8 5.52 6.96]
xshow
end grestore
end grestore

%	Minicoq -> Fhimsg
newpath 76 126 moveto
84 126 93 126 102 126 curveto
stroke
gsave 10 dict begin
solid
1 setlinewidth
0.000 0.000 0.000 edgecolor
newpath 102 130 moveto
112 126 lineto
102 123 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
newpath 102 130 moveto
112 126 lineto
102 123 lineto
closepath
stroke
end grestore

%	Metasyntax -> Vernacexpr
newpath 1144 277 moveto
1163 267 1189 252 1210 241 curveto
stroke
gsave 10 dict begin
solid
1 setlinewidth
0.000 0.000 0.000 edgecolor
newpath 1212 244 moveto
1219 236 lineto
1209 238 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
newpath 1212 244 moveto
1219 236 lineto
1209 238 lineto
closepath
stroke
end grestore

%	Coqtop
gsave 10 dict begin
38 45 34 18 ellipse_path
stroke
gsave 10 dict begin
17 40 moveto
(Coqtop)
[9.36 6.96 6.96 3.84 6.96 6.96]
xshow
end grestore
end grestore

%	Coqinit
gsave 10 dict begin
147 72 34 18 ellipse_path
stroke
gsave 10 dict begin
126 67 moveto
(Coqinit)
[9.36 6.96 6.96 3.84 6.96 3.84 3.84]
xshow
end grestore
end grestore

%	Coqtop -> Coqinit
newpath 69 53 moveto
81 56 94 59 106 62 curveto
stroke
gsave 10 dict begin
solid
1 setlinewidth
0.000 0.000 0.000 edgecolor
newpath 105 65 moveto
116 65 lineto
107 59 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
newpath 105 65 moveto
116 65 lineto
107 59 lineto
closepath
stroke
end grestore

%	Usage
gsave 10 dict begin
147 18 31 18 ellipse_path
stroke
gsave 10 dict begin
129 13 moveto
(Usage)
[10.08 5.52 6.24 6.72 6.24]
xshow
end grestore
end grestore

%	Coqtop -> Usage
newpath 69 37 moveto
81 34 95 31 108 28 curveto
stroke
gsave 10 dict begin
solid
1 setlinewidth
0.000 0.000 0.000 edgecolor
newpath 109 31 moveto
118 25 lineto
107 25 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
newpath 109 31 moveto
118 25 lineto
107 25 lineto
closepath
stroke
end grestore

%	Coqinit -> Toplevel
newpath 181 72 moveto
190 72 199 72 208 72 curveto
stroke
gsave 10 dict begin
solid
1 setlinewidth
0.000 0.000 0.000 edgecolor
newpath 208 76 moveto
218 72 lineto
208 69 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
newpath 208 76 moveto
218 72 lineto
208 69 lineto
closepath
stroke
end grestore
endpage
showpage
grestore
%%PageTrailer
%%EndPage: 1
%%Trailer
%%Pages: 1
end
restore
%%EOF