Mercurial > urweb

diff lib/basis.urs @ 257:32f9212583b2

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Add 'ne' to 'eq' type class
author Adam Chlipala <adamc@hcoop.net>
date Sun, 31 Aug 2008 15:18:00 -0400
parents e52243e20858
children 645d0e8da643
line wrap: on
line diff
--- a/lib/basis.urs	Sun Aug 31 15:15:41 2008 -0400
+++ b/lib/basis.urs	Sun Aug 31 15:18:00 2008 -0400
@@ -11,8 +11,8 @@
 
 class eq
 val eq : t ::: Type -> eq t -> t -> t -> bool
+val ne : t ::: Type -> eq t -> t -> t -> bool
 val eq_int : eq int
-val eq_float : eq float
 val eq_string : eq string
 val eq_bool : eq bool