Mercurial > urweb
diff lib/ur/option.urs @ 961:8c37699de273
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