Mercurial > urweb
comparison lib/basis.urs @ 391:fe8f75f7e130
lt, le working for int
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Tue, 21 Oct 2008 10:56:43 -0400 |
parents | 519366a76603 |
children | 9f6fe6f32961 |
comparison
equal
deleted
inserted
replaced
390:519366a76603 | 391:fe8f75f7e130 |
---|---|
25 val times : t ::: Type -> num t -> t -> t -> t | 25 val times : t ::: Type -> num t -> t -> t -> t |
26 val div : t ::: Type -> num t -> t -> t -> t | 26 val div : t ::: Type -> num t -> t -> t -> t |
27 val mod : t ::: Type -> num t -> t -> t -> t | 27 val mod : t ::: Type -> num t -> t -> t -> t |
28 val num_int : num int | 28 val num_int : num int |
29 val num_float : num float | 29 val num_float : num float |
30 | |
31 class ord | |
32 val lt : t ::: Type -> ord t -> t -> t -> bool | |
33 val le : t ::: Type -> ord t -> t -> t -> bool | |
34 val gt : t ::: Type -> ord t -> t -> t -> bool | |
35 val ge : t ::: Type -> ord t -> t -> t -> bool | |
36 val ord_int : ord int | |
30 | 37 |
31 | 38 |
32 (** String operations *) | 39 (** String operations *) |
33 | 40 |
34 val strcat : string -> string -> string | 41 val strcat : string -> string -> string |