functor (ToChannel : ToBoundedChannelSig) ->
  sig
    type src = dsc
    type m = Channel_factory.MakeChanSrc.msg
    type req = ToChannel.send_req
    val start : ToChannel.to_chan -> unit
    val retrieve_message :
      ToChannel.to_chan -> Config.request -> Config.message
  end