Mercurial > urweb
diff 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 |
line wrap: on
line diff
--- a/lib/ur/top.urs Sat May 31 22:23:25 2014 -0400 +++ b/lib/ur/top.urs Sat Sep 13 19:16:07 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