Module Send_bounded_channel_dest

module Send_bounded_channel_dest: sig .. end

module MakeAutoMakeSendDest: 
functor (TransmiterBoundedChannel : Rmcast_types.EndTransmiterBoundedChannelSig) -> 
functor (MsgType : Bounded_channel.InputTypesSig) -> 
functor (Types : sig
type s_t 

type c_t 

end) -> sig .. end