]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/DEVEL/ocaml-http/http_types.ml
- added method 'param_all' to request objects
[helm.git] / helm / DEVEL / ocaml-http / http_types.ml
index 70c8fce63825b8036dd336c89f55ba9d9740ade3..18e2a88ab43851a5be00efc900afbdcc4d7dbd4c 100644 (file)
@@ -156,5 +156,6 @@ class type request =
     method uri: string
     method path: string
     method param: string -> string
+    method param_all: string -> string list
     method params: (string * string) list
   end