FWEB sections and modules

• Sections can be

  unnamed

  beginning with @ (@ followed by a space and then the first sentence of the section;

  named

  beginning with @* - anything that follows until the full-stop goes into a title of the section.

• The code part of a section is marked by

  @a

  used for the top-level description of the code. This is the unnamed module. Ftangle's fundamental operation is to output the unnamed module. Subsequent uses of @a append code to the unnamed module.

  There must be at least one @a in the source file or ftangle will output nothing.

  @<text@>=

  used for a named module. Subsequent uses of @<text@>= with the same text append code to the named module. To use a named module place @<text@> anywere within the code of an unnamed or another named module.