functor (Types : sig type d_t type c_t end) ->
  sig
    type group_dsc = group
    type seq_dsc = t
    type s_t
    type d_t = Types.d_t
    type c_t = Types.c_t
    val init : d_t Lazy.t Lazy.t -> c_t Lazy.t Lazy.t -> s_t Lazy.t
    type dsc = s_t * d_t * c_t
    type msg = (group_dsc, seq_dsc) Request_types.Sequencer_to_group.message
    type req =
        (group_dsc, seq_dsc) Request_types.Sequencer_to_group.send_request
    module Make :
      functor
        (ToChannel : sig
                       type to_chan = dsc
                       type send_req = req
                       val send_request : to_chan -> send_req -> unit
                     end) ->
        sig
          type src = ToChannel.to_chan
          type req = ToChannel.send_req
          type m = msg
          val start : src -> unit
          val retrieve_message : src -> req -> m
        end
  end