]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/DEVEL/ocaml-http/http_types.ml
- changed API so that respond_* are statically type checked for correct
[helm.git] / helm / DEVEL / ocaml-http / http_types.ml
index bbdd46a133bbcb0ba696eabd4d468b4b5a88d0d7..044690d4139fb479ab86e278c6f82836f7848046 100644 (file)
@@ -140,6 +140,8 @@ type status =
   | server_error_status
   ]
 
+type status_code = [ `Code of int | `Status of status ]
+
   (** File sources *)
 type file_source =
   | FileSrc of string           (** filename *)