<> <> <> DIRECTORY Rope; PhoneList: CEDAR DEFINITIONS ~ BEGIN LookupName: PROC [name: Rope.ROPE] RETURNS [found: BOOL, line: LIST OF Rope.ROPE]; <> CorrectionToName: PROC [name: Rope.ROPE] RETURNS [possibilities: LIST OF Rope.ROPE _ NIL]; <> END.