<<>> <> <> <> <<>> DIRECTORY SafeStorage, IO, Atom, Rope, Basics, MathObjects; MathEnvironments: CEDAR DEFINITIONS = BEGIN <> ROPE: TYPE = Rope.ROPE; STREAM: TYPE = IO.STREAM; Object: TYPE = MathObjects.Object; MethodDictionary: TYPE = MathObjects.MethodDictionary; <> <> << >> Environment: TYPE = Object; EnvironmentData: TYPE ~ REF EnvironmentDataRep; -- probably a RefTab; should check how CedarScheme represents environments EnvironmentDataRep: TYPE; <> <> <> <<>> Environments: Object; EnvironmentsData: TYPE ~ REF EnvironmentsDataRep; EnvironmentsDataRep: TYPE; <<>> END.