% Definitions
\newcommand{\LetSymbol}{{\sf let}}
\newcommand{\BeSymbol}{{\sf be}}
\newcommand{\InSymbol}{{\sf in}}
\newcommand{\Letbe}[3]{\LetSymbol\,#1\,\BeSymbol\,#2\,\InSymbol\,#3}

\newcommand{\FTV}{\mathop{\rm FTV}\nolimits}
%\newcommand{\FV}{\mathop{\rm FV}\nolimits}
\newcommand{\Close}{\mathop{\rm Close}\nolimits}
\renewcommand{\ts}{\vdash}

\newcommand{\Hole}{[]}
\newcommand{\OK}{{\sf ok}}
\newcommand{\Wrong}{{\sf wrong}}

\newcommand{\CallccSymbol}{{\sf callcc}}
\newcommand{\ThrowSymbol}{{\sf throw}}
\newcommand{\ToSymbol}{{\sf to}}
\newcommand{\Callcc}[1]{\CallccSymbol\,#1}
\newcommand{\Throw}[2]{\ThrowSymbol\,#1\,\ToSymbol\,#2}

\newcommand{\PrimType}{\mathop{\cal T}}
\newcommand{\PrimEval}{\mathop{\cal P}}

\newcommand{\Cont}{{\sf cont}}

\newcommand{\Int}{{\sf int}}
\newcommand{\Bool}{{\sf bool}}

\newcommand{\True}{{\sf true}}
