CONTROL Aux, InbasketP18V2ServerImpl, MailTransportP17V5ServerImpl ~ {
Aux:
CONFIGURATION
IMPORTS AuthenticationP14V2Aux, CHNameP2V0Aux, Convert, Rope
EXPORTS ALL
CONTROL EnvelopeFormatP1517V1AuxImpl, InbasketP18V2AuxImpl, MailFormatP1516V3AuxImpl, MailTransportP17V5AuxImpl ~ {
EnvelopeFormatP1517V1AuxImpl;
InbasketP18V2AuxImpl;
MailFormatP1516V3AuxImpl;
MailTransportP17V5AuxImpl;
};
Aux;
InbasketP18V2ServerImpl[CrRPC, Inbasket, IO];
MailTransportP17V5ServerImpl[CrRPC, MailTransport, IO];
}.