

\newtheorem{defn}{Definition}
\newcommand{\type}[1]{: {\it {#1}}}
\newcommand{\dtype}[2]{{#1: #2}}
\newcommand{\angleb}[1]{$<${\it {#1}}$>$}
\newcommand{\btype}[1]{{\it {#1}}}
\newenvironment{junk}{\begin{list}{}{\setlength{\itemsep}{0in}\setlength{\parsep}{0in}}}{\end{list}}

\documentstyle[11pt,twoside,oneinchmargins]{report}
\input lispdoc



\begin{document}

With the identifiers having the types:
\begin{junk}
\item \dtype{input-expr}{\btype{integer}}
\item \dtype{output-expr}{\angleb{integer}}
\item \dtype{input-names}{(\btype{keyword}*)}
\item \dtype{output-names}{(\btype{keyword}*)}
\end{junk}

\end{document}