<<>> <> <> <> DIRECTORY IO, Rope; IOErrorFormatting: CEDAR DEFINITIONS = { ROPE: TYPE ~ Rope.ROPE; RopeFromErrorCode: PROC [IO.ErrorCode] RETURNS [ROPE]; FormatError: PROC [ec: IO.ErrorCode, details: LIST OF REF ¬ NIL, msg: ROPE ¬ NIL] RETURNS [ROPE]; }.