% $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}
Generated by dwww version 1.15 on Sat May 18 05:53:55 CEST 2024.