chap-2.3-forlan7.tex

\begin{list}{}
{\setlength{\leftmargin}{\leftmargini}
\setlength{\rightmargin}{0cm}
\setlength{\itemindent}{0cm}
\setlength{\listparindent}{0cm}
\setlength{\itemsep}{0cm}
\setlength{\parsep}{0cm}
\setlength{\labelsep}{0cm}
\setlength{\labelwidth}{0cm}
\catcode`\#=12
\catcode`\$=12
\catcode`\%=12
\catcode`\^=12
\catcode`\_=12
\catcode`\.=12
\catcode`\?=12
\catcode`\!=12
\catcode`\&=12
\ttfamily}
\small
\item[]\textsl{-\ }use\ "fact.sml";
\item[]\textsl{\symbol{'133}opening\ fact.sml\symbol{'135}}
\item[]\textsl{val\ fact\ =\ fn\ :\ int\ ->\ int}
\item[]\textsl{val\ it\ =\ ()\ :\ unit}
\item[]\textsl{-\ }fact\ 4;
\item[]\textsl{val\ it\ =\ 24\ :\ int}
\end{list}