Implementations
Next: Modules
Up: No Title
Previous: Type Specification Examples
Implementations are provided by modules. A module contains a set of
classes (10.4), routine implementations, maker definitions,
and equates. It can export its routine implementations so that they
can be used in other modules. Its classes may also be available for
use in other classes (as superclasses) but this is indicated directly
by the class definition (10.5.1).
theta-questions@lcs.mit.edu