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. Ά MathStructuresImpl.mesa Copyright c 1989 by Xerox Corporation. All rights reserved. Arnon, August 28, 1989 1:42:36 pm PDT Types From Referenced Interfaces Structure Types Κ@•NewlineDelimiter ™codešœΟc™Kšœ Οmœ1™