diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2008-10-21 10:56:43 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2008-10-21 10:56:43 -0400 |
| commit | ce5158acc101774d5a264ae7154e9e0799e3848c (patch) | |
| tree | 0f3b413495a6f55cc12a8d4abf6e0f6fb3b9cdfc /lib/basis.urs | |
| parent | 007027d1bb5b084352a1fc9e4e4178ee8e9821fe (diff) | |
lt, le working for int
Diffstat (limited to 'lib/basis.urs')
| -rw-r--r-- | lib/basis.urs | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/lib/basis.urs b/lib/basis.urs index f2a08a86..5aba5526 100644 --- a/lib/basis.urs +++ b/lib/basis.urs @@ -28,6 +28,13 @@ val mod : t ::: Type -> num t -> t -> t -> t 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 *) |