path: root/doc/pretyping.dep.ps

%!PS-Adobe-2.0
%%Creator: dot version gviz 1.7.3b (Mon Feb 26 14:10:22 EST 2001)
%%For: (herbelin) Hugo Herbelin
%%Title: G
%%Pages: (atend)
%%BoundingBox: 36 36 577 201
%%EndComments
%%BeginProlog
save
/DotDict 200 dict def
DotDict begin

%%BeginResource: procset
/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 { } 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
% alignfactor tells what fraction to place on the left.
% -.5 is centered.
/alignedtext {			% text labelwidth fontsz alignfactor
	/alignfactor exch def
	/fontsz exch def
	/width exch def
	/text exch def
	gsave
		% even if node or edge is dashed, don't paint text with dashes
		[] 0 setdash
		currentpoint newpath moveto
		text stringwidth pop
		alignfactor mul fontsz -.3 mul rmoveto
		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

/layercolorseq
	[	% layer color sequence - darkest to lightest
		[0 0 0]
		[.2 .8 .8]
		[.4 .8 .8]
		[.6 .8 .8]
		[.8 .8 .8]
	]
def

/setlayer {/maxlayer exch def /curlayer exch def
	layercolorseq curlayer 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

%%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

%%EndResource
%%EndSetup
%%Page: 1 1
%%PageBoundingBox: 36 36 577 201
%%PageOrientation: Portrait
gsave
35 35 542 166 boxprim clip newpath
36 36 translate
0 0 1 beginpage
0.4796 set_scale
0 0 translate 0 rotate
[ /CropBox [36 36 577 201] /PAGES pdfmark
0.000 0.000 0.000 graphcolor
14.00 /Times-Roman set_font

%	Multcase
gsave 10 dict begin
355 272 36 18 ellipse_path
stroke
gsave 10 dict begin
355 273 moveto (Multcase) 51 14.00 -0.50 alignedtext
end grestore
end grestore

%	Evarutil
gsave 10 dict begin
468 272 33 18 ellipse_path
stroke
gsave 10 dict begin
468 273 moveto (Evarutil) 45 14.00 -0.50 alignedtext
end grestore
end grestore

%	Multcase -> Evarutil
newpath 391 272 moveto
402 272 414 272 425 272 curveto
stroke
newpath 425 270 moveto
435 272 lineto
425 275 lineto
closepath
gsave 0 setgray stroke grestore fill

%	Pretype_errors
gsave 10 dict begin
596 272 51 18 ellipse_path
stroke
gsave 10 dict begin
596 273 moveto (Pretype_errors) 82 14.00 -0.50 alignedtext
end grestore
end grestore

%	Evarutil -> Pretype_errors
newpath 501 272 moveto
511 272 523 272 534 272 curveto
stroke
newpath 534 270 moveto
544 272 lineto
534 275 lineto
closepath
gsave 0 setgray stroke grestore fill

%	Indrec
gsave 10 dict begin
596 326 28 18 ellipse_path
stroke
gsave 10 dict begin
596 327 moveto (Indrec) 35 14.00 -0.50 alignedtext
end grestore
end grestore

%	Evarutil -> Indrec
newpath 494 283 moveto
514 292 542 304 564 313 curveto
stroke
newpath 564 310 moveto
572 316 lineto
562 315 lineto
closepath
gsave 0 setgray stroke grestore fill

%	Typing
gsave 10 dict begin
468 218 30 18 ellipse_path
stroke
gsave 10 dict begin
468 219 moveto (Typing) 40 14.00 -0.50 alignedtext
end grestore
end grestore

%	Typing -> Pretype_errors
newpath 493 229 moveto
510 236 534 246 554 254 curveto
stroke
newpath 555 252 moveto
563 258 lineto
553 256 lineto
closepath
gsave 0 setgray stroke grestore fill

%	Rawterm
gsave 10 dict begin
731 164 36 18 ellipse_path
stroke
gsave 10 dict begin
731 165 moveto (Rawterm) 51 14.00 -0.50 alignedtext
end grestore
end grestore

%	Pretype_errors -> Rawterm
newpath 630 258 moveto
637 255 644 251 648 248 curveto
667 233 692 206 710 187 curveto
stroke
newpath 708 186 moveto
716 180 lineto
711 189 lineto
closepath
gsave 0 setgray stroke grestore fill

%	Inductiveops
gsave 10 dict begin
731 245 46 18 ellipse_path
stroke
gsave 10 dict begin
731 246 moveto (Inductiveops) 72 14.00 -0.50 alignedtext
end grestore
end grestore

%	Pretype_errors -> Inductiveops
newpath 641 263 moveto
654 261 667 258 680 255 curveto
stroke
newpath 679 253 moveto
689 253 lineto
680 258 lineto
closepath
gsave 0 setgray stroke grestore fill

%	Tacred
gsave 10 dict begin
731 56 29 18 ellipse_path
stroke
gsave 10 dict begin
731 57 moveto (Tacred) 38 14.00 -0.50 alignedtext
end grestore
end grestore

%	Cbv
gsave 10 dict begin
863 56 27 18 ellipse_path
stroke
gsave 10 dict begin
863 57 moveto (Cbv) 23 14.00 -0.50 alignedtext
end grestore
end grestore

%	Tacred -> Cbv
newpath 761 56 moveto
781 56 806 56 827 56 curveto
stroke
newpath 826 54 moveto
836 56 lineto
826 59 lineto
closepath
gsave 0 setgray stroke grestore fill

%	Reductionops
gsave 10 dict begin
863 110 49 18 ellipse_path
stroke
gsave 10 dict begin
863 111 moveto (Reductionops) 77 14.00 -0.50 alignedtext
end grestore
end grestore

%	Tacred -> Reductionops
newpath 756 66 moveto
774 74 800 84 821 92 curveto
stroke
newpath 822 90 moveto
830 96 lineto
820 94 lineto
closepath
gsave 0 setgray stroke grestore fill

%	Instantiate
gsave 10 dict begin
988 56 39 18 ellipse_path
stroke
gsave 10 dict begin
988 57 moveto (Instantiate) 58 14.00 -0.50 alignedtext
end grestore
end grestore

%	Cbv -> Instantiate
newpath 890 56 moveto
904 56 922 56 938 56 curveto
stroke
newpath 938 54 moveto
948 56 lineto
938 59 lineto
closepath
gsave 0 setgray stroke grestore fill

%	Reductionops -> Instantiate
newpath 895 96 moveto
912 88 933 80 951 72 curveto
stroke
newpath 949 70 moveto
959 68 lineto
951 75 lineto
closepath
gsave 0 setgray stroke grestore fill

%	Termops
gsave 10 dict begin
988 110 35 18 ellipse_path
stroke
gsave 10 dict begin
988 111 moveto (Termops) 49 14.00 -0.50 alignedtext
end grestore
end grestore

%	Reductionops -> Termops
newpath 912 110 moveto
923 110 933 110 943 110 curveto
stroke
newpath 943 108 moveto
953 110 lineto
943 113 lineto
closepath
gsave 0 setgray stroke grestore fill

%	Syntax_def
gsave 10 dict begin
596 164 42 18 ellipse_path
stroke
gsave 10 dict begin
596 165 moveto (Syntax_def) 63 14.00 -0.50 alignedtext
end grestore
end grestore

%	Syntax_def -> Rawterm
newpath 638 164 moveto
653 164 670 164 685 164 curveto
stroke
newpath 685 162 moveto
695 164 lineto
685 167 lineto
closepath
gsave 0 setgray stroke grestore fill

%	Retyping
gsave 10 dict begin
355 49 36 18 ellipse_path
stroke
gsave 10 dict begin
355 50 moveto (Retyping) 51 14.00 -0.50 alignedtext
end grestore
end grestore

%	Retyping -> Reductionops
newpath 389 43 moveto
469 30 670 2 778 26 curveto
801 31 798 69 814 86 curveto
817 89 820 91 824 92 curveto
stroke
newpath 825 90 moveto
833 96 lineto
823 94 lineto
closepath
gsave 0 setgray stroke grestore fill

%	Evd
gsave 10 dict begin
1091 56 27 18 ellipse_path
stroke
gsave 10 dict begin
1091 57 moveto (Evd) 22 14.00 -0.50 alignedtext
end grestore
end grestore

%	Instantiate -> Evd
newpath 1028 56 moveto
1037 56 1046 56 1054 56 curveto
stroke
newpath 1054 54 moveto
1064 56 lineto
1054 59 lineto
closepath
gsave 0 setgray stroke grestore fill

%	Recordops
gsave 10 dict begin
468 110 40 18 ellipse_path
stroke
gsave 10 dict begin
468 111 moveto (Recordops) 59 14.00 -0.50 alignedtext
end grestore
end grestore

%	Classops
gsave 10 dict begin
596 56 35 18 ellipse_path
stroke
gsave 10 dict begin
596 57 moveto (Classops) 49 14.00 -0.50 alignedtext
end grestore
end grestore

%	Recordops -> Classops
newpath 497 98 moveto
516 90 541 79 561 71 curveto
stroke
newpath 559 69 moveto
569 68 lineto
561 74 lineto
closepath
gsave 0 setgray stroke grestore fill

%	Classops -> Tacred
newpath 631 56 moveto
650 56 673 56 692 56 curveto
stroke
newpath 691 54 moveto
701 56 lineto
691 59 lineto
closepath
gsave 0 setgray stroke grestore fill

%	Classops -> Rawterm
newpath 622 68 moveto
635 74 648 80 648 80 curveto
667 94 692 121 710 141 curveto
stroke
newpath 711 138 moveto
716 147 lineto
707 142 lineto
closepath
gsave 0 setgray stroke grestore fill

%	Pretyping
gsave 10 dict begin
46 114 37 18 ellipse_path
stroke
gsave 10 dict begin
46 115 moveto (Pretyping) 54 14.00 -0.50 alignedtext
end grestore
end grestore

%	Cases
gsave 10 dict begin
147 114 27 18 ellipse_path
stroke
gsave 10 dict begin
147 115 moveto (Cases) 32 14.00 -0.50 alignedtext
end grestore
end grestore

%	Pretyping -> Cases
newpath 84 114 moveto
93 114 102 114 110 114 curveto
stroke
newpath 110 112 moveto
120 114 lineto
110 117 lineto
closepath
gsave 0 setgray stroke grestore fill

%	Coercion
gsave 10 dict begin
246 114 36 18 ellipse_path
stroke
gsave 10 dict begin
246 115 moveto (Coercion) 51 14.00 -0.50 alignedtext
end grestore
end grestore

%	Cases -> Coercion
newpath 174 114 moveto
182 114 191 114 200 114 curveto
stroke
newpath 200 112 moveto
210 114 lineto
200 117 lineto
closepath
gsave 0 setgray stroke grestore fill

%	Inductiveops -> Reductionops
newpath 748 228 moveto
771 204 815 159 841 132 curveto
stroke
newpath 837 132 moveto
846 127 lineto
841 136 lineto
closepath
gsave 0 setgray stroke grestore fill

%	Pattern
gsave 10 dict begin
596 110 30 18 ellipse_path
stroke
gsave 10 dict begin
596 111 moveto (Pattern) 39 14.00 -0.50 alignedtext
end grestore
end grestore

%	Pattern -> Reductionops
newpath 626 110 moveto
670 110 751 110 806 110 curveto
stroke
newpath 804 108 moveto
814 110 lineto
804 113 lineto
closepath
gsave 0 setgray stroke grestore fill

%	Pattern -> Rawterm
newpath 621 120 moveto
641 129 671 140 694 150 curveto
stroke
newpath 694 147 moveto
703 153 lineto
693 152 lineto
closepath
gsave 0 setgray stroke grestore fill

%	Indrec -> Inductiveops
newpath 619 316 moveto
630 311 641 306 648 302 curveto
663 293 683 279 700 267 curveto
stroke
newpath 699 265 moveto
708 261 lineto
702 269 lineto
closepath
gsave 0 setgray stroke grestore fill

%	Evarconv
gsave 10 dict begin
355 180 37 18 ellipse_path
stroke
gsave 10 dict begin
355 181 moveto (Evarconv) 53 14.00 -0.50 alignedtext
end grestore
end grestore

%	Evarconv -> Evarutil
newpath 372 196 moveto
388 212 412 235 428 248 curveto
431 250 433 251 436 253 curveto
stroke
newpath 438 251 moveto
445 259 lineto
435 256 lineto
closepath
gsave 0 setgray stroke grestore fill

%	Evarconv -> Typing
newpath 386 190 moveto
400 195 418 201 432 206 curveto
stroke
newpath 432 203 moveto
441 209 lineto
431 208 lineto
closepath
gsave 0 setgray stroke grestore fill

%	Evarconv -> Recordops
newpath 378 166 moveto
395 156 418 141 436 130 curveto
stroke
newpath 434 128 moveto
444 125 lineto
437 132 lineto
closepath
gsave 0 setgray stroke grestore fill

%	Detyping
gsave 10 dict begin
596 218 36 18 ellipse_path
stroke
gsave 10 dict begin
596 219 moveto (Detyping) 52 14.00 -0.50 alignedtext
end grestore
end grestore

%	Detyping -> Rawterm
newpath 625 207 moveto
645 199 673 188 694 179 curveto
stroke
newpath 693 177 moveto
703 175 lineto
695 181 lineto
closepath
gsave 0 setgray stroke grestore fill

%	Detyping -> Inductiveops
newpath 630 225 moveto
645 228 663 232 679 235 curveto
stroke
newpath 680 233 moveto
689 237 lineto
679 237 lineto
closepath
gsave 0 setgray stroke grestore fill

%	Coercion -> Retyping
newpath 269 100 moveto
285 91 306 78 323 68 curveto
stroke
newpath 321 66 moveto
331 63 lineto
324 70 lineto
closepath
gsave 0 setgray stroke grestore fill

%	Coercion -> Evarconv
newpath 269 128 moveto
285 138 306 151 324 161 curveto
stroke
newpath 325 159 moveto
332 166 lineto
322 163 lineto
closepath
gsave 0 setgray stroke grestore fill
endpage
grestore
%%PageTrailer
%%EndPage: 1
%%Trailer
%%Pages: 1
end
restore
%%EOF