Mercurial > urweb

comparison lib/ur/basis.urs @ 1128:e1cf925e2074

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Allow escaped backslashes in literals; conversion betwixt int and char
author Adam Chlipala <adamc@hcoop.net>
date Tue, 12 Jan 2010 16:09:13 -0500
parents 74f2eb3b0606
children 4f3a1aa3b66d
comparison
equal deleted inserted replaced
1127:f93dc2ea30c1 1128:e1cf925e2074
66 val isspace : char -> bool 66 val isspace : char -> bool
67 val isupper : char -> bool 67 val isupper : char -> bool
68 val isxdigit : char -> bool 68 val isxdigit : char -> bool
69 val tolower : char -> char 69 val tolower : char -> char
70 val toupper : char -> char 70 val toupper : char -> char
71 71 val ord : char -> int
72 val chr : int -> char
72 73
73 (** String operations *) 74 (** String operations *)
74 75
75 val strlen : string -> int 76 val strlen : string -> int
76 val strcat : string -> string -> string 77 val strcat : string -> string -> string