changeset 33823 | 24090eae50b6 |
parent 33817 | f6a4da31f2f1 |
33822:e332b08bf0f3 | 33823:24090eae50b6 |
---|---|
1 (* Title: http_status.ML |
1 (* Title: Tools/WWW_Find/http_status.ML |
2 Author: Timothy Bourke, NICTA |
2 Author: Timothy Bourke, NICTA |
3 |
3 |
4 HTTP status codes and reasons. |
4 HTTP status codes and reasons. |
5 *) |
5 *) |
6 |
|
6 signature HTTP_STATUS = |
7 signature HTTP_STATUS = |
7 sig |
8 sig |
8 type t |
9 type t |
9 |
10 |
10 val to_status_code : t -> int |
11 val to_status_code : t -> int |