Mercurial > urweb

comparison lib/basis.urs @ 390:519366a76603

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
num_float
author Adam Chlipala <adamc@hcoop.net>
date Tue, 21 Oct 2008 10:40:22 -0400
parents acaf9d19fbb7
children fe8f75f7e130
comparison
equal deleted inserted replaced
389:acaf9d19fbb7 390:519366a76603
24 val minus : 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 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 30
30 31
31 (** String operations *) 32 (** String operations *)
32 33
33 val strcat : string -> string -> string 34 val strcat : string -> string -> string