From cbce1b6184acae87ba220969ab2c69cf2697ea32 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adam@chlipala.net>
Date: Sat, 21 Jul 2012 15:16:57 -0400
Subject: Top.postFields

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

(limited to 'lib/ur/basis.urs')

diff --git a/lib/ur/basis.urs b/lib/ur/basis.urs
index 8ac94668..cb5d16ea 100644
--- a/lib/ur/basis.urs
+++ b/lib/ur/basis.urs
@@ -898,6 +898,12 @@ type postBody
 val postType : postBody -> string
 val postData : postBody -> string
 
+type postField
+val firstFormField : string -> option postField
+val fieldName : postField -> string
+val fieldValue : postField -> string
+val remainingFields : postField -> string
+
 con radio = [Body, Radio]
 val radio : formTag (option string) radio [Id = id]
 val radioOption : unit -> tag ([Value = string, Checked = bool] ++ boxAttrs) radio [] [] []
-- 
cgit v1.2.3