Mercurial > urweb

comparison lib/ur/basis.urs @ 1390:65fbb250b875

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
More string processing
author Adam Chlipala <adam@chlipala.net>
date Thu, 13 Jan 2011 10:02:50 -0500
parents 9a721f0722d3
children d328983dc5a6
comparison
equal deleted inserted replaced
1389:9a721f0722d3 1390:65fbb250b875
85 val strcat : string -> string -> string 85 val strcat : string -> string -> string
86 val strsub : string -> int -> char 86 val strsub : string -> int -> char
87 val strsuffix : string -> int -> string 87 val strsuffix : string -> int -> string
88 val strchr : string -> char -> option string 88 val strchr : string -> char -> option string
89 val strindex : string -> char -> option int 89 val strindex : string -> char -> option int
90 val strsindex : string -> string -> option int
90 val strcspn : string -> string -> int 91 val strcspn : string -> string -> int
91 val substring : string -> int -> int -> string 92 val substring : string -> int -> int -> string
92 val str1 : char -> string 93 val str1 : char -> string
93 94
94 class show 95 class show