diff options
| -rw-r--r-- | lib/ur/basis.urs | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/lib/ur/basis.urs b/lib/ur/basis.urs index 2d6e50ed..ca54bc7b 100644 --- a/lib/ur/basis.urs +++ b/lib/ur/basis.urs @@ -140,8 +140,6 @@ val minusSeconds : time -> int -> time (** HTTP operations *) -val requestHeader : string -> transaction (option string) - con http_cookie :: Type -> Type val getCookie : t ::: Type -> http_cookie t -> transaction (option t) val setCookie : t ::: Type -> http_cookie t -> {Value : t, |