<> <> DIRECTORY Rope USING [ROPE]; SpellingCorrection: CEDAR DEFINITIONS = BEGIN ROPE: TYPE = Rope.ROPE; BruteForceCorrection: PROC [word: ROPE, f: PROC [REF TEXT] RETURNS [BOOL], buffer: REF TEXT] RETURNS [corrections: LIST OF ROPE, newBuffer: REF TEXT]; <> <<>> <<>> END.