<> <> <> <> <> DIRECTORY Rope USING [ROPE], TextLooks USING [Runs], TextNode USING [Ref, RefTextNode]; CheckNode: CEDAR DEFINITIONS = BEGIN Failed: ERROR; Check: PROC [node: TextNode.Ref]; CheckTextNode: PROC [text: TextNode.RefTextNode]; <> CheckRope: PROC [rope: Rope.ROPE]; CheckRuns: PROC [runs: TextLooks.Runs]; END.