Mercurial > urweb

diff lib/basis.urs @ 391:fe8f75f7e130

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
lt, le working for int
author Adam Chlipala <adamc@hcoop.net>
date Tue, 21 Oct 2008 10:56:43 -0400
parents 519366a76603
children 9f6fe6f32961
line wrap: on
line diff
--- a/lib/basis.urs	Tue Oct 21 10:40:22 2008 -0400
+++ b/lib/basis.urs	Tue Oct 21 10:56:43 2008 -0400
@@ -28,6 +28,13 @@
 val num_int : num int
 val num_float : num float
 
+class ord
+val lt : t ::: Type -> ord t -> t -> t -> bool
+val le : t ::: Type -> ord t -> t -> t -> bool
+val gt : t ::: Type -> ord t -> t -> t -> bool
+val ge : t ::: Type -> ord t -> t -> t -> bool
+val ord_int : ord int
+
 
 (** String operations *)