Functor Rcomm.Make.MakeTransport

module MakeTransport: 
functor (GC : Rcomm.Common_types.CoreModuleSig) -> sig .. end

type group = GC.t 

include RcommDescriptor

module DescriptorTypes: sig .. end

module MakeChanSrc: Channel_factory.MakeTransportChanSrc(DescriptorTypes)

module MakeChanDest: Channel_factory.MakeTransportChanDest(DescriptorTypes)

module Chan_to_group: MakeChanSrc(sig
type message = t Rcomm.Request_types.Transport_to_group.message 

type request = t Rcomm.Request_types.Transport_to_group.send_request 

type transport' = Rcomm.Make.To_group_from_transport.transport 

type message' = transport'
       Rcomm.Request_types.Transport_to_group.message 

type request' = transport'
       Rcomm.Request_types.Transport_to_group.send_request 

module type ToBoundedChannelSig = ToBoundedChannelSig  with type send_req = request
module Make: 
functor (ToChannel : ToBoundedChannelSig) -> sig .. end
end)

module Chan_from_group: MakeChanDest(sig
type message = t Rcomm.Request_types.Group_to_transport.message 

type request = t Rcomm.Request_types.Group_to_transport.receive_request 

type transport' = Rcomm.Make.From_group_to_transport.transport 

type message' = transport'
       Rcomm.Request_types.Group_to_transport.message 

type request' = transport'
       Rcomm.Request_types.Group_to_transport.receive_request 

module type FromBoundedChannelSig = FromBoundedChannelSig  with type receive_req = request
module Make: 
functor (FromChannel : FromBoundedChannelSig) -> sig .. end
end)