Module Fragmentation_layer

module Fragmentation_layer: sig .. end

module MakeMulticastFragmentation: 
functor (FrgFn : Fragmentor.FragmentorSig) -> 
functor (CommProt : Rmcast_types.CommProtSig) -> 
functor (AsyncTimer : Rmcast_types.AsynchronousTimerSig) -> 
functor (AutoMakeRecvDest : functor (InputType : InputTypesSig 
                    with type receive_req = dest_request
                    and  type msg = 
                        (received_msg_t -> (unit -> unit) -> unit) * received_msg_t) -> Bounded_channel.AutoMakeBoundedChannelDestSig(InputType).TSig) -> 
functor (MakeRecvRequest : functor (Dsc : sig
type dsc 

end) -> RecvRequestSig 
         with type dsc = Dsc.dsc) -> 
functor (BandwidthEstimator : Rmcast_types.BandwidthEstimatorSig) -> 
functor (FlowControlStatus : FlowControlStatusSig  with type be_dsc = BandwidthEstimator.dsc) -> sig .. end