sig
  val do_delete :
    'a ->
    JavaServlet.http ->
    JavaServlet.http_request -> JavaServlet.http_response -> unit
  val do_get :
    'a ->
    JavaServlet.http ->
    JavaServlet.http_request -> JavaServlet.http_response -> unit
  val do_head :
    'a ->
    JavaServlet.http ->
    JavaServlet.http_request -> JavaServlet.http_response -> unit
  val do_post :
    'a ->
    JavaServlet.http ->
    JavaServlet.http_request -> JavaServlet.http_response -> unit
  val do_put :
    'a ->
    JavaServlet.http ->
    JavaServlet.http_request -> JavaServlet.http_response -> unit
  val do_trace :
    'a ->
    JavaServlet.http ->
    JavaServlet.http_request -> JavaServlet.http_response -> unit
  val get_last_modified :
    'a -> JavaServlet.http -> JavaServlet.http_request -> java_long
  val destroy : 'a -> JavaServlet.http -> unit
end