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: (clrenard) Clement Renard
%%Title: G
%%Pages: (atend)
%%BoundingBox: 36 36 577 203
%%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 203
%%PageOrientation: Portrait
gsave
35 35 542 168 boxprim clip newpath
36 36 translate
0 0 1 beginpage
0.4796 set_scale
0 0 translate 0 rotate
[ /CropBox [36 36 577 203] /PAGES pdfmark
0.000 0.000 0.000 graphcolor
14.00 /Times-Roman set_font

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

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

%	Multcase -> Evarutil
newpath 391 234 moveto
402 234 414 234 425 234 curveto
stroke
newpath 425 232 moveto
435 234 lineto
425 237 lineto
closepath
gsave 0 setgray stroke grestore fill

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

%	Evarutil -> Pretype_errors
newpath 494 223 moveto
511 216 535 206 554 198 curveto
stroke
newpath 553 196 moveto
563 194 lineto
555 200 lineto
closepath
gsave 0 setgray stroke grestore fill

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

%	Evarutil -> Indrec
newpath 494 245 moveto
514 254 542 266 564 275 curveto
stroke
newpath 564 272 moveto
572 278 lineto
562 277 lineto
closepath
gsave 0 setgray stroke grestore fill

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

%	Typing -> Pretype_errors
newpath 499 180 moveto
510 180 522 180 534 180 curveto
stroke
newpath 534 178 moveto
544 180 lineto
534 183 lineto
closepath
gsave 0 setgray stroke grestore fill

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

%	Pretype_errors -> Rawterm
newpath 630 166 moveto
649 158 674 149 694 141 curveto
stroke
newpath 692 139 moveto
702 137 lineto
694 144 lineto
closepath
gsave 0 setgray stroke grestore fill

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

%	Pretype_errors -> Inductiveops
newpath 648 180 moveto
657 180 665 180 674 180 curveto
stroke
newpath 674 178 moveto
684 180 lineto
674 183 lineto
closepath
gsave 0 setgray stroke grestore fill

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

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

%	Tacred -> Cbv
newpath 760 37 moveto
780 39 806 41 827 43 curveto
stroke
newpath 826 40 moveto
836 44 lineto
826 45 lineto
closepath
gsave 0 setgray stroke grestore fill

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

%	Tacred -> Reductionops
newpath 752 47 moveto
764 55 778 63 778 63 curveto
795 75 819 96 837 111 curveto
stroke
newpath 838 109 moveto
844 117 lineto
835 112 lineto
closepath
gsave 0 setgray stroke grestore fill

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

%	Cbv -> Instantiate
newpath 890 48 moveto
904 50 922 51 939 53 curveto
stroke
newpath 939 51 moveto
949 54 lineto
939 55 lineto
closepath
gsave 0 setgray stroke grestore fill

%	Reductionops -> Instantiate
newpath 888 118 moveto
908 106 936 89 957 77 curveto
stroke
newpath 954 76 moveto
964 72 lineto
957 80 lineto
closepath
gsave 0 setgray stroke grestore fill

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

%	Reductionops -> Termops
newpath 912 134 moveto
923 134 933 134 943 134 curveto
stroke
newpath 943 132 moveto
953 134 lineto
943 137 lineto
closepath
gsave 0 setgray stroke grestore fill

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

%	Syntax_def -> Rawterm
newpath 638 126 moveto
653 126 670 126 685 126 curveto
stroke
newpath 685 124 moveto
695 126 lineto
685 129 lineto
closepath
gsave 0 setgray stroke grestore fill

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

%	Retyping -> Reductionops
newpath 388 318 moveto
450 329 582 348 648 318 curveto
713 288 802 199 842 157 curveto
stroke
newpath 839 157 moveto
847 151 lineto
843 160 lineto
closepath
gsave 0 setgray stroke grestore fill

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

%	Instantiate -> Evd
newpath 1028 57 moveto
1037 57 1046 57 1054 57 curveto
stroke
newpath 1054 55 moveto
1064 57 lineto
1054 60 lineto
closepath
gsave 0 setgray stroke grestore fill

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

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

%	Recordops -> Classops
newpath 497 60 moveto
516 52 541 41 561 33 curveto
stroke
newpath 559 31 moveto
569 30 lineto
561 36 lineto
closepath
gsave 0 setgray stroke grestore fill

%	Classops -> Tacred
newpath 630 22 moveto
649 25 673 27 693 30 curveto
stroke
newpath 692 27 moveto
702 31 lineto
692 32 lineto
closepath
gsave 0 setgray stroke grestore fill

%	Classops -> Rawterm
newpath 622 30 moveto
635 36 648 42 648 42 curveto
667 56 692 83 710 103 curveto
stroke
newpath 711 100 moveto
716 109 lineto
707 104 lineto
closepath
gsave 0 setgray stroke grestore fill

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

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

%	Pretyping -> Cases
newpath 84 245 moveto
93 245 102 245 110 245 curveto
stroke
newpath 110 243 moveto
120 245 lineto
110 248 lineto
closepath
gsave 0 setgray stroke grestore fill

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

%	Cases -> Coercion
newpath 174 245 moveto
182 245 191 245 200 245 curveto
stroke
newpath 200 243 moveto
210 245 lineto
200 248 lineto
closepath
gsave 0 setgray stroke grestore fill

%	Inductiveops -> Reductionops
newpath 766 168 moveto
782 162 801 155 818 149 curveto
stroke
newpath 817 147 moveto
827 146 lineto
818 152 lineto
closepath
gsave 0 setgray stroke grestore fill

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

%	Pattern -> Reductionops
newpath 626 75 moveto
666 79 737 86 778 96 curveto
785 98 806 107 826 117 curveto
stroke
newpath 825 114 moveto
833 120 lineto
823 118 lineto
closepath
gsave 0 setgray stroke grestore fill

%	Pattern -> Rawterm
newpath 621 82 moveto
641 91 671 102 694 112 curveto
stroke
newpath 694 109 moveto
703 115 lineto
693 114 lineto
closepath
gsave 0 setgray stroke grestore fill

%	Indrec -> Inductiveops
newpath 620 279 moveto
631 274 642 269 648 264 curveto
666 250 692 223 710 204 curveto
stroke
newpath 708 203 moveto
716 197 lineto
711 206 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 381 193 moveto
397 201 418 211 435 218 curveto
stroke
newpath 435 215 moveto
443 222 lineto
433 220 lineto
closepath
gsave 0 setgray stroke grestore fill

%	Evarconv -> Typing
newpath 392 180 moveto
404 180 416 180 427 180 curveto
stroke
newpath 427 178 moveto
437 180 lineto
427 183 lineto
closepath
gsave 0 setgray stroke grestore fill

%	Evarconv -> Recordops
newpath 372 164 moveto
391 145 422 116 444 95 curveto
stroke
newpath 442 93 moveto
451 88 lineto
446 97 lineto
closepath
gsave 0 setgray stroke grestore fill

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

%	Detyping -> Rawterm
newpath 626 223 moveto
634 220 643 215 648 210 curveto
665 193 668 166 684 150 curveto
684 150 689 147 697 144 curveto
stroke
newpath 696 142 moveto
706 139 lineto
698 146 lineto
closepath
gsave 0 setgray stroke grestore fill

%	Detyping -> Termops
newpath 632 230 moveto
673 226 739 219 778 210 curveto
825 199 868 180 912 164 curveto
912 164 932 156 951 149 curveto
stroke
newpath 950 147 moveto
960 145 lineto
952 151 lineto
closepath
gsave 0 setgray stroke grestore fill

%	Coercion -> Retyping
newpath 269 259 moveto
285 269 306 282 324 292 curveto
stroke
newpath 325 290 moveto
332 297 lineto
322 294 lineto
closepath
gsave 0 setgray stroke grestore fill

%	Coercion -> Evarconv
newpath 269 231 moveto
285 222 306 209 323 199 curveto
stroke
newpath 321 197 moveto
331 194 lineto
324 201 lineto
closepath
gsave 0 setgray stroke grestore fill
endpage
grestore
%%PageTrailer
%%EndPage: 1
%%Trailer
%%Pages: 1
end
restore
%%EOF