diff options
Diffstat (limited to 'lib')
| -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 *) |