Implementations



next up previous contents index
Next: Modules Up: No Title Previous: Type Specification Examples

Implementations

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