Mercurial > urweb

comparison lib/ur/top.urs @ 2035:a3435112b83e

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Top.max and Top.min
author Adam Chlipala <adam@chlipala.net>
date Sun, 29 Jun 2014 08:33:47 -0400
parents cfd604842006
children 2d9e40e726f2
comparison
equal deleted inserted replaced
2034:1d36654c2d21 2035:a3435112b83e
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