functor (Types : sig type s_t type c_t end) ->
  sig
    type group_dsc = t
    type seq_dsc = sequencer
    type s_t = Types.s_t
    type d_t
    type c_t = Types.c_t
    val init : s_t Lazy.t Lazy.t -> c_t Lazy.t Lazy.t -> d_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.receive_request
    module Make :
      functor
        (FromChannel : sig
                         type from_chan = dsc
                         type receive_req = req
                         val receive_request :
                           from_chan -> receive_req -> unit
                       end) ->
        sig
          type dest = dsc
          type req = FromChannel.receive_req
          type m = msg
          val start : dest -> unit
          val process_message : dest -> req -> m -> unit
        end
  end