<> <> <> <> DIRECTORY RPC USING[ AuthenticateFailure, CallFailure, ExportFailure, ImportFailure ]; RPCSignals: CEDAR PROGRAM EXPORTS RPC = BEGIN AuthenticateFailed: PUBLIC ERROR[why: RPC.AuthenticateFailure] = CODE; CallFailed: PUBLIC SIGNAL[why: RPC.CallFailure] = CODE; ExportFailed: PUBLIC ERROR[why: RPC.ExportFailure] = CODE; ImportFailed: PUBLIC ERROR[why: RPC.ImportFailure] = CODE; END.