<> <> <> DIRECTORY MathExpr USING [AtomClass, CompoundClass]; MathDB: CEDAR DEFINITIONS ~ BEGIN <> AtomClass: TYPE ~ MathExpr.AtomClass; CompoundClass: TYPE ~ MathExpr.CompoundClass; <> AtomClassNames: READONLY LIST OF ATOM; CompoundClassNames: READONLY LIST OF ATOM; <> <<>> ResetAtomClasses: PROC[]; <> ResetCompoundClasses: PROC[]; <> InstallAtomClass: PROC[class: AtomClass]; <> InstallCompoundClass: PROC[class: CompoundClass]; <> LookupAtomClass: PROC[name: ATOM] RETURNS[AtomClass]; <> << SIGNALS notFound if no association exists>> LookupCompoundClass: PROC[name: ATOM] RETURNS[CompoundClass]; <> << SIGNALS notFound if no association exists>> <> notFound: ERROR; END.