module type ToBoundedChannelSig = ToBoundedChannelSig with type to_chan = dsc and type send_req = req
ToBoundedChannelSig
with type to_chan = dsc and type send_req = req