sig
  module type S =
    sig
      type query
      type response
      val implement_multi :
        ?log_not_previously_seen_version:(name:string -> int -> unit) ->
        ('state ->
         Versioned_rpc.Callee_converts.S.query ->
         Versioned_rpc.Callee_converts.S.response Import.Deferred.t) ->
        'state Rpc.Implementation.t list
      val versions : unit -> Core.Std.Int.Set.t
    end
  module Make :
    functor (Model : sig val name : string type query type response end) ->
      sig
        module Register :
          functor
            (Version_i : sig
                           val version : int
                           type query
                           type response
                           val model_of_query :
                             Versioned_rpc.Callee_converts.Make.Register.query ->
                             Model.query
                           val response_of_model :
                             Model.response ->
                             Versioned_rpc.Callee_converts.Make.Register.response
                           val bin_query :
                             Versioned_rpc.Callee_converts.Make.Register.query
                             Core.Std.Bin_prot.Type_class.t
                           val bin_read_query :
                             Versioned_rpc.Callee_converts.Make.Register.query
                             Core.Std.Bin_prot.Read_ml.reader
                           val bin_read_query_ :
                             Versioned_rpc.Callee_converts.Make.Register.query
                             Core.Std.Bin_prot.Unsafe_read_c.reader
                           val bin_read_query__ :
                             (int ->
                              Versioned_rpc.Callee_converts.Make.Register.query)
                             Core.Std.Bin_prot.Unsafe_read_c.reader
                           val bin_reader_query :
                             Versioned_rpc.Callee_converts.Make.Register.query
                             Core.Std.Bin_prot.Type_class.reader
                           val bin_size_query :
                             Versioned_rpc.Callee_converts.Make.Register.query
                             Core.Std.Bin_prot.Size.sizer
                           val bin_write_query :
                             Versioned_rpc.Callee_converts.Make.Register.query
                             Core.Std.Bin_prot.Write_ml.writer
                           val bin_write_query_ :
                             Versioned_rpc.Callee_converts.Make.Register.query
                             Core.Std.Bin_prot.Unsafe_write_c.writer
                           val bin_writer_query :
                             Versioned_rpc.Callee_converts.Make.Register.query
                             Core.Std.Bin_prot.Type_class.writer
                           val bin_response :
                             Versioned_rpc.Callee_converts.Make.Register.response
                             Core.Std.Bin_prot.Type_class.t
                           val bin_read_response :
                             Versioned_rpc.Callee_converts.Make.Register.response
                             Core.Std.Bin_prot.Read_ml.reader
                           val bin_read_response_ :
                             Versioned_rpc.Callee_converts.Make.Register.response
                             Core.Std.Bin_prot.Unsafe_read_c.reader
                           val bin_read_response__ :
                             (int ->
                              Versioned_rpc.Callee_converts.Make.Register.response)
                             Core.Std.Bin_prot.Unsafe_read_c.reader
                           val bin_reader_response :
                             Versioned_rpc.Callee_converts.Make.Register.response
                             Core.Std.Bin_prot.Type_class.reader
                           val bin_size_response :
                             Versioned_rpc.Callee_converts.Make.Register.response
                             Core.Std.Bin_prot.Size.sizer
                           val bin_write_response :
                             Versioned_rpc.Callee_converts.Make.Register.response
                             Core.Std.Bin_prot.Write_ml.writer
                           val bin_write_response_ :
                             Versioned_rpc.Callee_converts.Make.Register.response
                             Core.Std.Bin_prot.Unsafe_write_c.writer
                           val bin_writer_response :
                             Versioned_rpc.Callee_converts.Make.Register.response
                             Core.Std.Bin_prot.Type_class.writer
                         end) ->
            sig val rpc : (Version_i.query, Version_i.response) Rpc.Rpc.t end
        val implement_multi :
          ?log_not_previously_seen_version:(name:string -> int -> unit) ->
          ('state -> Model.query -> Model.response Import.Deferred.t) ->
          'state Rpc.Implementation.t list
        val versions : unit -> Core.Std.Int.Set.t
      end
end