comparison 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
comparison
equal deleted inserted replaced
1786:d794149b3713 1787:69daa6d70299
279 -> sql_exp tables agg exps (option t) 279 -> sql_exp tables agg exps (option t)
280 -> option t 280 -> option t
281 -> sql_exp tables agg exps bool 281 -> sql_exp tables agg exps bool
282 282
283 val mkRead' : t ::: Type -> (string -> option t) -> string -> read t 283 val mkRead' : t ::: Type -> (string -> option t) -> string -> read t
284
285 val postFields : postBody -> list (string * string)