<> <> <> <> <> DIRECTORY IO USING [STREAM], Rope USING [ROPE], SMTPDescr USING [Descr]; SMTPQueue: CEDAR DEFINITIONS = BEGIN Descr: TYPE = SMTPDescr.Descr; ROPE: TYPE = Rope.ROPE; STREAM: TYPE = IO.STREAM; StartNewMessage: PROC [source: ROPE]; SetExpressOK: PROC [BOOL]; AddNewMessage: PROC [descr: Descr, source: ROPE]; <> <<>> StartServer: PROC; PrintQueue: PROC [name: ROPE, out: STREAM]; CountQueue: PROC[name: ROPE] RETURNS[n: INT]; CountMessages: PROC[queueName: Rope.ROPE] RETURNS[n: INT]; PrintItem: PROC [item: INT, out: STREAM]; ExpressList: PROC RETURNS[list: LIST OF ROPE]; MoveSickHost: PROC[name: ROPE]; MoveAllSickHosts: PROC; DLWithoutUpArrow: PROC [dl: ROPE] RETURNS [valid: BOOL]; END.