\newcommand{\evalsto}{$\rightarrow$}

\newcommand{\cvar}[1]{\textrm{\textit{#1}}}

%%%%%%%%%%%%%%%% Latex prototypes
\texonly

\newenvironment{protos}{\list{$\bullet$}
{\leftmargin1.2em\rightmargin0pt\itemsep0pt\parsep0pt\partopsep-2pt}}
{\endlist}

% The following is for prototypes that have return types.
%    (foo int int) -> int

\newcommand{\proto}[3]{%
\protonoindex{{#1}}{{#2}}{{#3}}%
\mainschindex{{#1}}}%

\newcommand{\protonoindex}[3]{\item\noindent\unskip%
\hbox{\spaceskip=0.5em\code{({#1}{\it#2\/})} {$\rightarrow$} {\it#3}}}

\newcommand{\cproto}[1]{\item\noindent\unskip%
\hbox{\spaceskip=0.5em\code{{#1}}}}

\newcommand{\cgcproto}[1]{\item\noindent\unskip%
\hbox{\spaceskip=0.5em\code{{#1}}}\hfill\penalty 0%
\hbox{ }\nobreak\hfill\hbox{\rm (may GC)}}

\newcommand{\protonoresultnoindex}[2]{\item\noindent\unskip%
\hbox{\spaceskip=0.5em\code{(\hbox{#1}{\it#2\/})}}}

\newcommand{\protonoresult}[2]{%
\protonoresultnoindex{{#1}}{{#2}}%
\mainschindex{{#1}}}%

\newcommand{\protoresult}[1]{\newline\unskip%
{\hspace*{2em}\code{{$\rightarrow$} {\it#1}}\hfill}}

% Syntax prototypes

\newcommand{\syntaxprotonoresultnoindex}[2]{\item\noindent\unskip%
\hbox{\spaceskip=0.5em\code{(\hbox{#1}{#2})}}\hfill\penalty 0%
\hbox{ }\nobreak\hfill\hbox{\rm syntax}}

\newcommand{\syntaxprotonoresult}[2]{%
\syntaxprotonoresultnoindex{{#1}}{{#2}}\mainschindex{{#1}}}

\newcommand{\syntaxproto}[3]{\item\noindent\unskip%
\hbox{\spaceskip=0.5em\code{(\hbox{#1}{#2})}} {$\rightarrow$} {\it#3}%
\hfill\penalty 0%
\hbox{ }\nobreak\hfill\hbox{\rm syntax}}

% This can be reduced

\newcommand{\pconstproto}[2]{\item\noindent\unskip%
\hbox{\spaceskip=0.5em\code{#1}}\hfill\penalty 0%
\hbox{ }\nobreak\hfill\hbox{\rm #2}}

% Variable prototype
\newcommand{\constproto}[2]{\pconstproto{{#1}}{{#2}}\mainschindex{{#1}}}

\newcommand{\constprotonoindex}[2]{\pconstproto{{#1}}{{#2}}}

\endtexonly

%%%%%%%%%%%%%%%% end of Latex proto definitions

%%%%%%%%%%%%%%%% HTML prototypes
\htmlonly

\newenvironment{protos}{\begin{itemize}}{\end{itemize}}

% The following is for prototypes that have return types.
%    (foo int int) -> int

\newcommand{\protonoindex}[3]{%
%\cindex{\code{#1}}%
\item\noindent\code{({#1}{\var{#2}\/})~-->~{\var{#3}}}}

\newcommand{\proto}[3]{%
\protonoindex{{#1}}{{#2}}{{#3}}%
\mainschindex{{#1}}}%

\newcommand{\protonoresultnoindex}[2]{%
%\cindex{\code{#1}}%
\item\noindent\code{({#1}{\var{#2}\/})}}

\newcommand{\protonoresult}[2]{%
\protonoresultnoindex{{#1}}{{#2}}%
\mainschindex{{#1}}}%

\newcommand{\pconstproto}[2]{%
\item\noindent\code{{#1}}\prototag{{#2}}}

% Variable prototype
\newcommand{\constproto}[2]{\pconstproto{{#1}}{{#2}}\mainschindex{{#1}}}

\newcommand{\constprotonoindex}[2]{\pconstproto{{#1}}{{#2}}}

\newcommand{\cproto}[1]{%
\item\noindent\code{{#1}}}

\newcommand{\cgcproto}[1]{%
\item\noindent\code{{#1}}\prototag{may GC}}

\newcommand{\syntaxprotonoresult}[2]{%
\syntaxprotonoresultnoindex{{#1}}{{#2}}\mainschindex{{#1}}}

\newcommand{\syntaxprotonoresultnoindex}[2]{%
\item\noindent\code{({#1}{#2})}\prototag{syntax}}

\newcommand{\protoresult}[1]{%
\\{}\noindent\code{\ \ \ \ -->~{\it{#1}}}}

\newcommand{\syntaxproto}[3]{%
\item\noindent\code{({#1}{#2})~-->~{\var{#3}}}\prototag{syntax}}

\newcommand{\prototag}[1]{\hfill\hbox{(#1)}}

\endhtmlonly
%%%%%%%%%%%%%%%% end of HTML proto definitions
