\newcommand{\dom}{\mathit{dom}}
\newcommand{\OP}{\mathit{op}}

\newcommand{\IF}{\mathtt{if}}
\newcommand{\THEN}{\mathtt{then}}
\newcommand{\ELSE}{\mathtt{else}}
\newcommand{\LET}{\mathtt{let}}
\newcommand{\IN}{\mathtt{in}}
\newcommand{\REC}{\mathtt{rec}}
\newcommand{\ARR}{\mathtt{Array.create}}
\newcommand{\SAVE}{\mathtt{save}}
\newcommand{\REST}{\mathtt{restore}}

\newcommand{\UNIT}{\mathtt{unit}}
\newcommand{\BOOL}{\mathtt{bool}}
\newcommand{\INT}{\mathtt{int}}
\newcommand{\ARRAY}{\mathtt{array}}

\newcommand{\infer}[2]{\displaystyle\frac{\begin{array}{c}#1\end{array}}{#2}}
\newcommand{\e}{\varepsilon}
\newcommand{\K}{\mathcal{K}}
\newcommand{\A}{\mathcal{A}}
\newcommand{\I}{\mathcal{I}}
\newcommand{\size}{\mathit{size}}
\newcommand{\F}{\mathcal{F}}
\newcommand{\E}{\mathcal{E}}
\newcommand{\eff}{\mathit{effect}}
\newcommand{\fv}{\mathit{FV}}
\newcommand{\lab}{\mathtt{L}}
\newcommand{\mkcls}{\mathit{make\_closure}}
\newcommand{\apcls}{\mathit{apply\_closure}}
\newcommand{\apdir}{\mathit{apply\_direct}}
\newcommand{\C}{\mathcal{C}}
\newcommand{\D}{\mathcal{D}}
\newcommand{\V}{\mathcal{V}}
\newcommand{\R}{\mathcal{R}}
\newcommand{\T}{\mathcal{T}}
\newcommand{\s}{\mathcal{S}}

\newcommand{\reg}[1]{\mathtt{R}_{#1}}
\newcommand{\hp}{\reg{\mathtt{hp}}}
\newcommand{\st}{\reg{\mathtt{st}}}
\newcommand{\ra}{\reg{\mathtt{ra}}}

\newcommand{\cont}{\mathtt{cont}}
\newcommand{\dest}{\mathtt{dest}}
\newcommand{\tail}{\mathtt{tail}}
