Mercurial > urweb

diff lib/ur/basis.urs @ 961:8c37699de273

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Grid sorting working
author Adam Chlipala <adamc@hcoop.net>
date Sat, 19 Sep 2009 13:32:33 -0400
parents b8d7a47b8e0c
children 10114d7b7477
line wrap: on
line diff
--- a/lib/ur/basis.urs	Sat Sep 19 10:56:09 2009 -0400
+++ b/lib/ur/basis.urs	Sat Sep 19 13:32:33 2009 -0400
@@ -49,6 +49,7 @@
 val ord_char : ord char
 val ord_bool : ord bool
 val ord_time : ord time
+val mkOrd : t ::: Type -> {Lt : t -> t -> bool, Le : t -> t -> bool} -> ord t
 
 
 (** String operations *)