1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16
% $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}