<> <> DIRECTORY AMModel, BcdDefs, Rope; VersionOf: CEDAR DEFINITIONS = { ROPE: TYPE = Rope.ROPE; Context: TYPE = AMModel.Context; ContextList: TYPE = LIST OF Context; VersionStamp: TYPE = BcdDefs.VersionStamp; VersionStampList: TYPE = LIST OF VersionStamp; NamedContexts: PROC [name: ROPE, context: --worldRoot or model--Context _ NIL--means root of this world--] RETURNS [contexts: ContextList]; <> VersionOfBcd: PROC [fileName: ROPE] RETURNS [version: VersionStamp]; GetVersions: PROC [name: ROPE, context: --worldRoot or model--Context _ NIL--means root of this world--] RETURNS [versions: VersionStampList]; }.