<<>> <> <> <> DIRECTORY IO, Rope, VersionMap2; VersionMap2Pretty: CEDAR DEFINITIONS = {OPEN VersionMap2; <> FormatName: PROC [Name] RETURNS [ROPE]; ParseName: PROC [ROPE] RETURNS [Name]; FormatCreated: PROC [Created] RETURNS [ROPE]; ParseCreated: PROC [ROPE] RETURNS [Created]; FormatStamp: PROC [VersionStamp] RETURNS [ROPE]; ParseStamp: PROC [ROPE] RETURNS [VersionStamp]; FormatTuple: PROC [VersionTuple] RETURNS [ROPE]; ParseTuple: PROC [ROPE] RETURNS [VersionTuple]; ListMap: PROC [map: Map, to: IO.STREAM, inOrder: BOOL, filters: MapList _ NIL]; FactoredListMap: PROC [map: Map, to: IO.STREAM, inOrder: BOOL, pfml: PatternFactoredMapList _ []]; }.