<<>> <> <> <> <> <<>> XNSMailProtocolClientStub: CONFIGURATION IMPORTS AuthenticationP14V2Aux, CHNameP2V0Aux, Convert, CrRPC, IO, Rope, Inbasket: InbasketP18V2, MailTransport: MailTransportP17V5 EXPORTS ALL 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]; }.