Pierre
/
workshop-ocaml-2023-wasocaml
forked from zapashcanon/workshop-ocaml-2023-wasocaml
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
5 Commits
1 Branch
0 Tags
56 KiB
 
 
Branch: main
Branches Tags
${ item.name }
Create tag ${ searchTerm }
Create branch ${ searchTerm }
from 'main'
${ noResults }
workshop-ocaml-2023-wasocaml/styledef.tex

112 lines
6.5 KiB
Raw Permalink Blame History

\makeatletter
\def\PY@reset{\let\PY@it=\relax \let\PY@bf=\relax%
\let\PY@ul=\relax \let\PY@tc=\relax%
\let\PY@bc=\relax \let\PY@ff=\relax}
\def\PY@tok#1{\csname PY@tok@#1\endcsname}
\def\PY@toks#1+{\ifx\relax#1\empty\else%
\PY@tok{#1}\expandafter\PY@toks\fi}
\def\PY@do#1{\PY@bc{\PY@tc{\PY@ul{%
\PY@it{\PY@bf{\PY@ff{#1}}}}}}}
\def\PY#1#2{\PY@reset\PY@toks#1+\relax+\PY@do{#2}}
\@namedef{PY@tok@}{\def\PY@tc##1{\textcolor[rgb]{0.67,0.70,0.75}{##1}}}
\@namedef{PY@tok@p}{\def\PY@tc##1{\textcolor[rgb]{0.67,0.70,0.75}{##1}}}
\@namedef{PY@tok@pm}{\def\PY@tc##1{\textcolor[rgb]{0.67,0.70,0.75}{##1}}}
\@namedef{PY@tok@k}{\def\PY@tc##1{\textcolor[rgb]{0.78,0.47,0.87}{##1}}}
\@namedef{PY@tok@kc}{\def\PY@tc##1{\textcolor[rgb]{0.90,0.75,0.48}{##1}}}
\@namedef{PY@tok@kd}{\def\PY@tc##1{\textcolor[rgb]{0.78,0.47,0.87}{##1}}}
\@namedef{PY@tok@kn}{\def\PY@tc##1{\textcolor[rgb]{0.78,0.47,0.87}{##1}}}
\@namedef{PY@tok@kr}{\def\PY@tc##1{\textcolor[rgb]{0.78,0.47,0.87}{##1}}}
\@namedef{PY@tok@kt}{\def\PY@tc##1{\textcolor[rgb]{0.90,0.75,0.48}{##1}}}
\@namedef{PY@tok@n}{\def\PY@tc##1{\textcolor[rgb]{0.88,0.42,0.46}{##1}}}
\@namedef{PY@tok@na}{\def\PY@tc##1{\textcolor[rgb]{0.88,0.42,0.46}{##1}}}
\@namedef{PY@tok@nb}{\def\PY@tc##1{\textcolor[rgb]{0.90,0.75,0.48}{##1}}}
\@namedef{PY@tok@nc}{\def\PY@tc##1{\textcolor[rgb]{0.90,0.75,0.48}{##1}}}
\@namedef{PY@tok@nf}{\let\PY@bf=\textbf\def\PY@tc##1{\textcolor[rgb]{0.38,0.69,0.94}{##1}}}
\@namedef{PY@tok@fm}{\let\PY@bf=\textbf\def\PY@tc##1{\textcolor[rgb]{0.34,0.71,0.76}{##1}}}
\@namedef{PY@tok@nx}{\def\PY@tc##1{\textcolor[rgb]{0.88,0.42,0.46}{##1}}}
\@namedef{PY@tok@nt}{\def\PY@tc##1{\textcolor[rgb]{0.88,0.42,0.46}{##1}}}
\@namedef{PY@tok@nd}{\def\PY@tc##1{\textcolor[rgb]{0.38,0.69,0.94}{##1}}}
\@namedef{PY@tok@nv}{\def\PY@tc##1{\textcolor[rgb]{0.88,0.42,0.46}{##1}}}
\@namedef{PY@tok@vc}{\def\PY@tc##1{\textcolor[rgb]{0.88,0.42,0.46}{##1}}}
\@namedef{PY@tok@l}{\def\PY@tc##1{\textcolor[rgb]{0.67,0.70,0.75}{##1}}}
\@namedef{PY@tok@s}{\def\PY@tc##1{\textcolor[rgb]{0.60,0.76,0.47}{##1}}}
\@namedef{PY@tok@m}{\def\PY@tc##1{\textcolor[rgb]{0.82,0.60,0.40}{##1}}}
\@namedef{PY@tok@o}{\def\PY@tc##1{\textcolor[rgb]{0.34,0.71,0.76}{##1}}}
\@namedef{PY@tok@c}{\def\PY@tc##1{\textcolor[rgb]{0.50,0.52,0.56}{##1}}}
\@namedef{PY@tok@w}{\def\PY@tc##1{\textcolor[rgb]{0.67,0.70,0.75}{##1}}}
\@namedef{PY@tok@esc}{\def\PY@tc##1{\textcolor[rgb]{0.67,0.70,0.75}{##1}}}
\@namedef{PY@tok@err}{\def\PY@tc##1{\textcolor[rgb]{0.67,0.70,0.75}{##1}}}
\@namedef{PY@tok@x}{\def\PY@tc##1{\textcolor[rgb]{0.67,0.70,0.75}{##1}}}
\@namedef{PY@tok@kp}{\def\PY@tc##1{\textcolor[rgb]{0.78,0.47,0.87}{##1}}}
\@namedef{PY@tok@bp}{\def\PY@tc##1{\textcolor[rgb]{0.90,0.75,0.48}{##1}}}
\@namedef{PY@tok@no}{\def\PY@tc##1{\textcolor[rgb]{0.88,0.42,0.46}{##1}}}
\@namedef{PY@tok@ni}{\def\PY@tc##1{\textcolor[rgb]{0.88,0.42,0.46}{##1}}}
\@namedef{PY@tok@ne}{\def\PY@tc##1{\textcolor[rgb]{0.88,0.42,0.46}{##1}}}
\@namedef{PY@tok@py}{\def\PY@tc##1{\textcolor[rgb]{0.88,0.42,0.46}{##1}}}
\@namedef{PY@tok@nl}{\def\PY@tc##1{\textcolor[rgb]{0.88,0.42,0.46}{##1}}}
\@namedef{PY@tok@nn}{\def\PY@tc##1{\textcolor[rgb]{0.88,0.42,0.46}{##1}}}
\@namedef{PY@tok@vg}{\def\PY@tc##1{\textcolor[rgb]{0.88,0.42,0.46}{##1}}}
\@namedef{PY@tok@vi}{\def\PY@tc##1{\textcolor[rgb]{0.88,0.42,0.46}{##1}}}
\@namedef{PY@tok@vm}{\def\PY@tc##1{\textcolor[rgb]{0.88,0.42,0.46}{##1}}}
\@namedef{PY@tok@ld}{\def\PY@tc##1{\textcolor[rgb]{0.67,0.70,0.75}{##1}}}
\@namedef{PY@tok@sa}{\def\PY@tc##1{\textcolor[rgb]{0.60,0.76,0.47}{##1}}}
\@namedef{PY@tok@sb}{\def\PY@tc##1{\textcolor[rgb]{0.60,0.76,0.47}{##1}}}
\@namedef{PY@tok@sc}{\def\PY@tc##1{\textcolor[rgb]{0.60,0.76,0.47}{##1}}}
\@namedef{PY@tok@dl}{\def\PY@tc##1{\textcolor[rgb]{0.60,0.76,0.47}{##1}}}
\@namedef{PY@tok@sd}{\def\PY@tc##1{\textcolor[rgb]{0.60,0.76,0.47}{##1}}}
\@namedef{PY@tok@s2}{\def\PY@tc##1{\textcolor[rgb]{0.60,0.76,0.47}{##1}}}
\@namedef{PY@tok@se}{\def\PY@tc##1{\textcolor[rgb]{0.60,0.76,0.47}{##1}}}
\@namedef{PY@tok@sh}{\def\PY@tc##1{\textcolor[rgb]{0.60,0.76,0.47}{##1}}}
\@namedef{PY@tok@si}{\def\PY@tc##1{\textcolor[rgb]{0.60,0.76,0.47}{##1}}}
\@namedef{PY@tok@sx}{\def\PY@tc##1{\textcolor[rgb]{0.60,0.76,0.47}{##1}}}
\@namedef{PY@tok@sr}{\def\PY@tc##1{\textcolor[rgb]{0.60,0.76,0.47}{##1}}}
\@namedef{PY@tok@s1}{\def\PY@tc##1{\textcolor[rgb]{0.60,0.76,0.47}{##1}}}
\@namedef{PY@tok@ss}{\def\PY@tc##1{\textcolor[rgb]{0.60,0.76,0.47}{##1}}}
\@namedef{PY@tok@mb}{\def\PY@tc##1{\textcolor[rgb]{0.82,0.60,0.40}{##1}}}
\@namedef{PY@tok@mf}{\def\PY@tc##1{\textcolor[rgb]{0.82,0.60,0.40}{##1}}}
\@namedef{PY@tok@mh}{\def\PY@tc##1{\textcolor[rgb]{0.82,0.60,0.40}{##1}}}
\@namedef{PY@tok@mi}{\def\PY@tc##1{\textcolor[rgb]{0.82,0.60,0.40}{##1}}}
\@namedef{PY@tok@il}{\def\PY@tc##1{\textcolor[rgb]{0.82,0.60,0.40}{##1}}}
\@namedef{PY@tok@mo}{\def\PY@tc##1{\textcolor[rgb]{0.82,0.60,0.40}{##1}}}
\@namedef{PY@tok@ow}{\def\PY@tc##1{\textcolor[rgb]{0.34,0.71,0.76}{##1}}}
\@namedef{PY@tok@ch}{\def\PY@tc##1{\textcolor[rgb]{0.50,0.52,0.56}{##1}}}
\@namedef{PY@tok@cm}{\def\PY@tc##1{\textcolor[rgb]{0.50,0.52,0.56}{##1}}}
\@namedef{PY@tok@cp}{\def\PY@tc##1{\textcolor[rgb]{0.50,0.52,0.56}{##1}}}
\@namedef{PY@tok@cpf}{\def\PY@tc##1{\textcolor[rgb]{0.50,0.52,0.56}{##1}}}
\@namedef{PY@tok@c1}{\def\PY@tc##1{\textcolor[rgb]{0.50,0.52,0.56}{##1}}}
\@namedef{PY@tok@cs}{\def\PY@tc##1{\textcolor[rgb]{0.50,0.52,0.56}{##1}}}
\@namedef{PY@tok@g}{\def\PY@tc##1{\textcolor[rgb]{0.67,0.70,0.75}{##1}}}
\@namedef{PY@tok@gd}{\def\PY@tc##1{\textcolor[rgb]{0.67,0.70,0.75}{##1}}}
\@namedef{PY@tok@ge}{\def\PY@tc##1{\textcolor[rgb]{0.67,0.70,0.75}{##1}}}
\@namedef{PY@tok@gr}{\def\PY@tc##1{\textcolor[rgb]{0.67,0.70,0.75}{##1}}}
\@namedef{PY@tok@gh}{\def\PY@tc##1{\textcolor[rgb]{0.67,0.70,0.75}{##1}}}
\@namedef{PY@tok@gi}{\def\PY@tc##1{\textcolor[rgb]{0.67,0.70,0.75}{##1}}}
\@namedef{PY@tok@go}{\def\PY@tc##1{\textcolor[rgb]{0.67,0.70,0.75}{##1}}}
\@namedef{PY@tok@gp}{\def\PY@tc##1{\textcolor[rgb]{0.67,0.70,0.75}{##1}}}
\@namedef{PY@tok@gs}{\def\PY@tc##1{\textcolor[rgb]{0.67,0.70,0.75}{##1}}}
\@namedef{PY@tok@gu}{\def\PY@tc##1{\textcolor[rgb]{0.67,0.70,0.75}{##1}}}
\@namedef{PY@tok@gt}{\def\PY@tc##1{\textcolor[rgb]{0.67,0.70,0.75}{##1}}}
\def\PYZbs{\char`\\}
\def\PYZus{\char`\_}
\def\PYZob{\char`\{}
\def\PYZcb{\char`\}}
\def\PYZca{\char`\^}
\def\PYZam{\char`\&}
\def\PYZlt{\char`\<}
\def\PYZgt{\char`\>}
\def\PYZsh{\char`\#}
\def\PYZpc{\char`\%}
\def\PYZdl{\char`\$}
\def\PYZhy{\char`\-}
\def\PYZsq{\char`\'}
\def\PYZdq{\char`\"}
\def\PYZti{\char`\~}
% for compatibility with earlier versions
\def\PYZat{@}
\def\PYZlb{[}
\def\PYZrb{]}
\makeatother