<> <> <> <> <> <<>> DIRECTORY TextNode USING [Ref]; TreeCheck: CEDAR DEFINITIONS = BEGIN Node: TYPE = TextNode.Ref; Verify: PROC [node: Node]; <<... called to verify that a Tioga tree structure is valid. If a problem is discovered, an exit to the debugger with an error message and locale is taken.>> END. <> <<>> <> <> <<>>