Mercurial > urweb

comparison lib/basis.urs @ 394:9f6fe6f32961

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
ord_float and ord_bool
author Adam Chlipala <adamc@hcoop.net>
date Tue, 21 Oct 2008 11:19:17 -0400
parents fe8f75f7e130
children 8084fa9216de
comparison
equal deleted inserted replaced
393:bc5a56ed0cd6 394:9f6fe6f32961
13 13
14 class eq 14 class eq
15 val eq : t ::: Type -> eq t -> t -> t -> bool 15 val eq : t ::: Type -> eq t -> t -> t -> bool
16 val ne : t ::: Type -> eq t -> t -> t -> bool 16 val ne : t ::: Type -> eq t -> t -> t -> bool
17 val eq_int : eq int 17 val eq_int : eq int
18 val eq_float : eq float
18 val eq_string : eq string 19 val eq_string : eq string
19 val eq_bool : eq bool 20 val eq_bool : eq bool
20 21
21 class num 22 class num
22 val neg : t ::: Type -> num t -> t -> t 23 val neg : t ::: Type -> num t -> t -> t
32 val lt : t ::: Type -> ord t -> t -> t -> bool 33 val lt : t ::: Type -> ord t -> t -> t -> bool
33 val le : t ::: Type -> ord t -> t -> t -> bool 34 val le : t ::: Type -> ord t -> t -> t -> bool
34 val gt : t ::: Type -> ord t -> t -> t -> bool 35 val gt : t ::: Type -> ord t -> t -> t -> bool
35 val ge : t ::: Type -> ord t -> t -> t -> bool 36 val ge : t ::: Type -> ord t -> t -> t -> bool
36 val ord_int : ord int 37 val ord_int : ord int
38 val ord_float : ord float
39 val ord_string : ord string
40 val ord_bool : ord bool
37 41
38 42
39 (** String operations *) 43 (** String operations *)
40 44
41 val strcat : string -> string -> string 45 val strcat : string -> string -> string