Mercurial > urweb

diff lib/ur/option.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 da3ec6014d2f
children 757dbac0454d
line wrap: on
line diff
--- a/lib/ur/option.urs	Sat Sep 19 10:56:09 2009 -0400
+++ b/lib/ur/option.urs	Sat Sep 19 13:32:33 2009 -0400
@@ -1,6 +1,7 @@
 datatype t = datatype Basis.option
 
 val eq : a ::: Type -> eq a -> eq (t a)
+val ord : a ::: Type -> ord a -> ord (t a)
 
 val isNone : a ::: Type -> t a -> bool
 val isSome : a ::: Type -> t a -> bool