<<>> <> <> <> <<>> DIRECTORY SafeStorage, IO, Atom, Rope, Basics, MathStructures; MathStructuresImpl: CEDAR PROGRAM IMPORTS Rope EXPORTS MathStructures = BEGIN <> ROPE: TYPE = Rope.ROPE; STREAM: TYPE = IO.STREAM; Object: TYPE = MathObjects.Object; MethodDictionary: TYPE = MathObjects.MethodDictionary; <> StructureDataRep: TYPE = RECORD [ methods: MethodDictionary, -- methods of Category, Domain, View uniformly accessible data: REF _ NIL -- optional structure-specific data, e.g. a View should save its "underlying" Domain, Domains and Categories may have "properties", e.g. we may attach axioms to a Category. ]; <<>> END.