Mercurial > urweb
comparison lib/ur/top.urs @ 2211:ef766ef6e242
Merge.
author | Ziv Scully <ziv@mit.edu> |
---|---|
date | Sat, 13 Sep 2014 19:16:07 -0400 |
parents | a3435112b83e |
children | 2d9e40e726f2 |
comparison
equal
deleted
inserted
replaced
2210:69c0f36255cb | 2211:ef766ef6e242 |
---|---|
285 -> sql_exp tables agg exps bool | 285 -> sql_exp tables agg exps bool |
286 | 286 |
287 val mkRead' : t ::: Type -> (string -> option t) -> string -> read t | 287 val mkRead' : t ::: Type -> (string -> option t) -> string -> read t |
288 | 288 |
289 val postFields : postBody -> list (string * string) | 289 val postFields : postBody -> list (string * string) |
290 | |
291 val max : t ::: Type -> ord t -> t -> t -> t | |
292 val min : t ::: Type -> ord t -> t -> t -> t |