Mercurial > urweb

diff 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
line wrap: on
line diff
--- a/lib/ur/top.urs	Sun Jun 29 08:31:21 2014 -0400
+++ b/lib/ur/top.urs	Sun Jun 29 08:33:47 2014 -0400
@@ -287,3 +287,6 @@
 val mkRead' : t ::: Type -> (string -> option t) -> string -> read t
 
 val postFields : postBody -> list (string * string)
+
+val max : t ::: Type -> ord t -> t -> t -> t
+val min : t ::: Type -> ord t -> t -> t -> t