<> <> <> DIRECTORY Basics: TYPE USING [Comparison], BcdStamps: TYPE USING [CompareStamps], SMProj: TYPE USING [Proj, ProjInfo], TimeStamp: TYPE USING [Stamp]; ParticularTable: CEDAR DEFINITIONS IMPORTS BcdStamps ~ { Node: TYPE~SMProj.Proj; NodeRecord: TYPE~SMProj.ProjInfo; Key: TYPE~TimeStamp.Stamp; GetKey: PROC[n: Node] RETURNS[Key] ~ INLINE {RETURN[n.stamp]}; CompareKeyToNode: PROC[k: Key, n: Node] RETURNS[Basics.Comparison] ~ INLINE { RETURN[BcdStamps.CompareStamps[k, n.stamp]]}; }.