<<>> <> <> <> <<>> <> <> <<>> DIRECTORY PFS USING [ErrorDesc], Rope USING [ROPE]; TrickleChargeServer: CEDAR DEFINITIONS ~ BEGIN ROPE: TYPE ~ Rope.ROPE; <> PFSErrorReportProc: TYPE ~ PROC[srcFile, dstFile: ROPE, error: PFS.ErrorDesc, sleepSec: NAT]; <<>> RegisterPFSErrorReportProc: PROC [proc: PFSErrorReportProc]; <> <<>> TCReportProc: TYPE ~ PROC[what: ROPE, finishedOK: BOOL]; RegisterTCReportProc: PROC [proc: TCReportProc, callIfOK: BOOL ¬ FALSE]; <> <> <<>> END.