diff lib/ur/top.urs @ 1787:69daa6d70299

Top.postFields
author Adam Chlipala <adam@chlipala.net>
date Sat, 21 Jul 2012 15:16:57 -0400
parents 818d4097e2ed
children cfd604842006
line wrap: on
line diff
--- a/lib/ur/top.urs	Sat Jul 21 13:55:35 2012 -0400
+++ b/lib/ur/top.urs	Sat Jul 21 15:16:57 2012 -0400
@@ -281,3 +281,5 @@
                   -> sql_exp tables agg exps bool
 
 val mkRead' : t ::: Type -> (string -> option t) -> string -> read t
+
+val postFields : postBody -> list (string * string)