Specifications
Next: Stand-Alone Routine Specifications
Up: No Title
Previous: Make Statement
New types and routines are introduced by giving specifications.
Specifications can be parameterized; we describe non-parameterized
specifications first, and then discuss parameterization in
Section 9.3.
theta-questions@lcs.mit.edu