Functor Rcomm.Make

module Make: 
functor (MakeTransport_ll : Common_types.MakeTransportSig) -> 
functor (MakeApplication_ll : Common_types.MakeRcommApplicationSig) -> sig .. end

type real_group 

module MakeRcommDescriptor: 
functor (Transport_ll : Rcomm.Common_types.TransportSig) -> sig .. end

module type RcommDsc = sig .. end

module RcommDescriptor: MakeRcommDescriptor(Transport_ll)

module Transport_ll: MakeTransport_ll(RcommDescriptor)

module Application_ll: MakeApplication_ll(RcommDescriptor)

module GrpHash: Hashtbl.Make(sig
type t = Rcomm.Make.real_group 

val equal : 'a -> 'a -> bool
val hash : t -> int
end)

module TransHash: Hashtbl.Make(Transport_ll)

val ghash : RcommDescriptor.t GrpHash.t

val thash : RcommDescriptor.t TransHash.t

val last_rdsc : RcommDescriptor.t option Pervasives.ref

val last_gdsc : GrpHash.key option Pervasives.ref

val last_tdsc : TransHash.key option Pervasives.ref

val sa_from_group_to_trans_recv_req : (RcommDescriptor.t
        Rcomm.Request_types.Group_to_transport.send_request list -> unit)
       Sa_var.t

val from_group_to_trans_recv_req : RcommDescriptor.t
       Rcomm.Request_types.Group_to_transport.send_request list -> unit

val sa_trans_to_group_select_req : (RcommDescriptor.trans_dsc
        Rcomm.Request_types.Transport_to_group.send_request -> unit)
       Sa_var.t

val trans_to_group_select_req : RcommDescriptor.trans_dsc -> unit

module To_application: sig .. end

module To_group_from_application: sig .. end

module To_group_from_transport: sig .. end

module To_transport: sig .. end

module From_application: sig .. end

module From_group_to_application: sig .. end

module From_group_to_transport: sig .. end

module From_transport: sig .. end

module DescriptorTypes: sig .. end

module MakeChanDest: Channel_factory.MakeChanDest(DescriptorTypes)

module MakeChanSrc: Channel_factory.MakeChanSrc(DescriptorTypes)

module Chan_from_application: MakeChanDest(sig
type message = Rcomm.Make.RcommDescriptor.t Rcomm.Request_types.Application_to_rcomm.message 

type request = Rcomm.Make.RcommDescriptor.t
       Rcomm.Request_types.Application_to_rcomm.receive_request 

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

module Chan_to_application: MakeChanSrc(sig
type message = Rcomm.Make.RcommDescriptor.t Rcomm.Request_types.Rcomm_to_application.message 

type request = Rcomm.Make.RcommDescriptor.t
       Rcomm.Request_types.Rcomm_to_application.send_request 

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

module Chan_to_transport: MakeChanSrc(sig
type message = Rcomm.Make.Transport_ll.t Rcomm.Request_types.Group_to_transport.message 

type request = Rcomm.Make.Transport_ll.t Rcomm.Request_types.Group_to_transport.send_request 

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

module Chan_from_transport: MakeChanDest(sig
type message = Rcomm.Make.Transport_ll.t Rcomm.Request_types.Transport_to_group.message 

type request = Rcomm.Make.Transport_ll.t
       Rcomm.Request_types.Transport_to_group.receive_request 

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

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

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

module MojaveComm: Gcomm.Make(MakeTransport)(Rcomm.MakeSequencer)(Rcomm.MakeViewmanager)(MakeApplication)

module Connections: sig .. end

include MojaveComm