workshop-ocaml-2023-wasocaml/figure_ocaml_float2.mps
2023-07-12 23:50:10 +02:00

81 lines
2.0 KiB
Plaintext

%!PS
%%BoundingBox: -36 -46 1238 46
%%HiResBoundingBox: -35.28442 -45.33156 1237.74081 45.33156
%%Creator: MetaPost 2.02
%%CreationDate: 2023.07.12:1752
%%Pages: 1
%*Font: cmr10 82.71204 9.96265 30:ffe000000000549098
%*Font: cmmi10 82.71204 9.96265 3a:8
%%BeginProlog
%%EndProlog
%%Page: 1 1
0.49803 0 0.49803 setrgbcolor
newpath 33.20886 -43.256 moveto
33.20886 43.256 lineto
-33.20886 43.256 lineto
-33.20886 -43.256 lineto
closepath fill
0 0 0 setrgbcolor 0 4.15111 dtransform truncate idtransform setlinewidth pop
[] 0 setdash 1 setlinejoin 10 setmiterlimit
newpath 33.20886 -43.256 moveto
33.20886 43.256 lineto
-33.20886 43.256 lineto
-33.20886 -43.256 lineto
closepath stroke
0.87843 1 1 setrgbcolor
newpath 254.81833 -43.256 moveto
254.81833 43.256 lineto
33.20886 43.256 lineto
33.20886 -43.256 lineto
closepath fill
0 0 0 setrgbcolor
49.8133 -26.65157 moveto
(12) cmr10 82.71204 fshow
132.52583 -26.65157 moveto
(:) cmmi10 82.71204 fshow
155.50134 -26.65157 moveto
(13) cmr10 82.71204 fshow
newpath 254.81833 -43.256 moveto
254.81833 43.256 lineto
33.20886 43.256 lineto
33.20886 -43.256 lineto
closepath stroke
0.87843 1 1 setrgbcolor
newpath 435.07013 -43.256 moveto
435.07013 43.256 lineto
254.81744 43.256 lineto
254.81744 -43.256 lineto
closepath fill
0 0 0 setrgbcolor
271.42188 -26.65157 moveto
(42) cmr10 82.71204 fshow
354.13441 -26.65157 moveto
(:) cmmi10 82.71204 fshow
377.10992 -26.65157 moveto
(0) cmr10 82.71204 fshow
newpath 435.07013 -43.256 moveto
435.07013 43.256 lineto
254.81744 43.256 lineto
254.81744 -43.256 lineto
closepath stroke
0.87843 1 1 setrgbcolor
newpath 1235.66525 -43.256 moveto
1235.66525 43.256 lineto
435.07253 43.256 lineto
435.07253 -43.256 lineto
closepath fill
0 0 0 setrgbcolor
451.67456 -26.65157 moveto
(6) cmr10 82.71204 fshow
493.03032 -26.65157 moveto
(:) cmmi10 82.71204 fshow
516.00595 -26.65157 moveto
(28318530717958623) cmr10 82.71204 fshow
newpath 1235.66525 -43.256 moveto
1235.66525 43.256 lineto
435.07253 43.256 lineto
435.07253 -43.256 lineto
closepath stroke
showpage
%%EOF