<<>> <> <> <> DIRECTORY BasicTime USING [GMT], Rope USING [ROPE], VersionMap USING [Map, VersionStamp]; VersionMapUtils: CEDAR DEFINITIONS ~ BEGIN OPEN Rope, VersionMap; SourceFileList: TYPE = LIST OF SourceFileEntry; SourceFileEntry: TYPE = RECORD [ map: VersionMap.Map, name: ROPE, created: BasicTime.GMT, stamp: VersionStamp]; FindSource: PROC [short: ROPE, removeDuplDates: BOOL ¬ TRUE, which: ATOM ¬ NIL] RETURNS [SourceFileList ¬ NIL]; MaplistDesc: PROC [which: ATOM] RETURNS [ROPE]; END.