% $Id: modes.w,v 1.3 1995/08/27 19:28:49 schrod Exp $
%----------------------------------------------------------------------

\documentclass{cweb}

\begin{document}

@ program $\to$ program with documentation of |bar(i+1)|.

@d foo bar
@< refinement @>=
    stmt;


@
\end{document}