Mercurial > urweb

comparison lib/basis.urs @ 285:e89076c41c39

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
toString for float and bool
author Adam Chlipala <adamc@hcoop.net>
date Sun, 07 Sep 2008 10:20:42 -0400
parents 77a28e7430bf
children ffe5b01908ae
comparison
equal deleted inserted replaced
284:77a28e7430bf 285:e89076c41c39
22 (** String operations *) 22 (** String operations *)
23 23
24 val strcat : string -> string -> string 24 val strcat : string -> string -> string
25 25
26 val intToString : int -> string 26 val intToString : int -> string
27 27 val floatToString : float -> string
28 val boolToString : bool -> string
28 29
29 30
30 (** SQL *) 31 (** SQL *)
31 32
32 con sql_table :: {Type} -> Type 33 con sql_table :: {Type} -> Type