<<>> <> <> <> <> <<>> <> <> <<>> DIRECTORY Rope; X11Eval: CEDAR DEFINITIONS ~ BEGIN <<>> Result: TYPE = {noServer, noSelection, timeout, badProtocol, crashed, failed, success}; <> <> <> <> <> <> <> Query: PROC [server: REF, selection, text: Rope.ROPE, timeout: INT ¬ 5] RETURNS [state: Result, answer: Rope.ROPE]; <> <> <<>> END.