Mercurial > urweb

comparison lib/basis.urs @ 389:acaf9d19fbb7

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
num working for int
author Adam Chlipala <adamc@hcoop.net>
date Tue, 21 Oct 2008 10:34:07 -0400
parents 260b680a6a04
children 519366a76603
comparison
equal deleted inserted replaced
388:2e93d18daf44 389:acaf9d19fbb7
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_string : eq string 18 val eq_string : eq string
19 val eq_bool : eq bool 19 val eq_bool : eq bool
20
21 class num
22 val neg : t ::: Type -> num t -> t -> t
23 val plus : t ::: Type -> num t -> t -> t -> t
24 val minus : 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
27 val mod : t ::: Type -> num t -> t -> t -> t
28 val num_int : num int
20 29
21 30
22 (** String operations *) 31 (** String operations *)
23 32
24 val strcat : string -> string -> string 33 val strcat : string -> string -> string