<<>> <> <> <> <<>> DIRECTORY SafeStorage, IO, Atom, Rope, Basics, Imager, MathExpr, MathObjects; MathObjectsImpl: CEDAR PROGRAM IMPORTS Rope EXPORTS MathObjects = BEGIN <> ROPE: TYPE = Rope.ROPE; STREAM: TYPE = IO.STREAM; <> ObjectRep: TYPE = RECORD [ class: Object _ NIL, data: REF _ NIL ]; <> Object: TYPE ~ REF ObjectRep; -- inside impl module, use rep <<>> END.