Mercurial > urweb
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) |