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

82 lines
2.1 KiB
Plaintext

%!PS
%%BoundingBox: -19 -38 738 77
%%HiResBoundingBox: -18.67961 -37.97945 737.37283 76.11877
%%Creator: MetaPost 2.02
%%CreationDate: 2023.07.12:1752
%%Pages: 1
%*Font: cmr10 82.71204 9.96265 2e:bff8000000001536ee2
%*Font: cmmi10 82.71204 9.96265 3a:8000000001a4082
%*Font: cmr7 57.89838 6.97385 30:e
%*Font: cmmi7 57.89838 6.97385 6e:8
%*Font: cmsy7 57.89838 6.97385 00:8
%%BeginProlog
%%EndProlog
%%Page: 1 1
0 0 0 setrgbcolor
0 0 moveto
(b) cmmi10 82.71204 fshow
35.497 -12.40683 moveto
(n) cmmi7 57.89838 fshow
76.38454 -12.40683 moveto
(\000) cmsy7 57.89838 fshow
128.07906 -12.40683 moveto
(1) cmr7 57.89838 fshow
0 4.15111 dtransform truncate idtransform setlinewidth pop [] 0 setdash
1 setlinejoin 10 setmiterlimit
newpath 181.78896 -35.90388 moveto
181.78896 74.04321 lineto
-16.60405 74.04321 lineto
-16.60405 -35.90388 lineto
closepath stroke
198.39389 0 moveto
(b) cmmi10 82.71204 fshow
233.89088 -12.40683 moveto
(n) cmmi7 57.89838 fshow
274.77843 -12.40683 moveto
(\000) cmsy7 57.89838 fshow
326.47295 -12.40683 moveto
(2) cmr7 57.89838 fshow
newpath 380.18246 -35.90388 moveto
380.18246 74.04321 lineto
181.78946 74.04321 lineto
181.78946 -35.90388 lineto
closepath stroke
396.78778 14.70433 moveto
(.) cmr10 82.71204 fshow
433.5483 14.70433 moveto
(.) cmr10 82.71204 fshow
470.3097 14.70433 moveto
(.) cmr10 82.71204 fshow
newpath 523.67413 -35.90388 moveto
523.67413 74.04321 lineto
380.18297 74.04321 lineto
380.18297 -35.90388 lineto
closepath stroke
540.2783 -3.44638 moveto
(b) cmmi10 82.71204 fshow
575.7753 -15.85321 moveto
(1) cmr7 57.89838 fshow
newpath 629.48558 -35.90388 moveto
629.48558 74.04321 lineto
523.67387 74.04321 lineto
523.67387 -35.90388 lineto
closepath stroke
0.67844 0.84706 0.90196 setrgbcolor
newpath 735.29727 -35.90388 moveto
735.29727 74.04321 lineto
629.48558 74.04321 lineto
629.48558 -35.90388 lineto
closepath fill
0 0 0 setrgbcolor
646.09001 -3.44638 moveto
(b) cmmi10 82.71204 fshow
681.58699 -15.85321 moveto
(0) cmr7 57.89838 fshow
newpath 735.29727 -35.90388 moveto
735.29727 74.04321 lineto
629.48558 74.04321 lineto
629.48558 -35.90388 lineto
closepath stroke
showpage
%%EOF