<> <> <<>> <> <<>> <> <<>> <> DIRECTORY GVRetrieve USING [MBXState], IO USING [STREAM], Rope USING [ROPE]; WalnutNewMail: CEDAR DEFINITIONS = BEGIN ROPE: TYPE = Rope.ROPE; EnableMailRetrieval: PROC[ reportProc, progressProc: PROC[ROPE], getMailLog: PROC RETURNS[IO.STREAM], recordMailInfo: PROC[logLen: INT, server: ROPE, num: INT] RETURNS[BOOL], notifyWhenMailRetrieved: PROC[ok: BOOL, someMail: BOOL] _ NIL ]; <<-- enables mail retrieval for the currently logged-in user; if the newMailLog is unavailable, nothing is done - it will be tried again later>> DisableMailRetrieval: PROC; <<-- turns off mail retrieval>> GetLastMailBoxStatus: PROC RETURNS[mbxState: GVRetrieve.MBXState, status: ROPE]; CheckGrapevine: PROC; <> END.