From c71de1db0cf31466bfc5fe7e96021e5d3cba6979 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adam@chlipala.net>
Date: Sat, 18 Dec 2010 10:56:31 -0500
Subject: postBody type

---
 lib/ur/basis.urs | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'lib/ur')

diff --git a/lib/ur/basis.urs b/lib/ur/basis.urs
index 6cd9915e..6fa92a7c 100644
--- a/lib/ur/basis.urs
+++ b/lib/ur/basis.urs
@@ -737,6 +737,10 @@ val returnBlob : t ::: Type -> blob -> mimeType -> transaction t
 val blobSize : blob -> int
 val textBlob : string -> blob
 
+type postBody
+val postType : postBody -> string
+val postData : postBody -> string
+
 con radio = [Body, Radio]
 val radio : formTag string radio [Id = string]
 val radioOption : unit -> tag ([Value = string, Checked = bool] ++ boxAttrs) radio [] [] []
-- 
cgit v1.2.3