Mercurial > urweb

diff 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
line wrap: on
line diff
--- a/lib/ur/basis.urs	Tue Jan 11 18:04:52 2011 -0500
+++ b/lib/ur/basis.urs	Thu Jan 13 10:02:50 2011 -0500
@@ -87,6 +87,7 @@
 val strsuffix : string -> int -> string
 val strchr : string -> char -> option string
 val strindex : string -> char -> option int
+val strsindex : string -> string -> option int
 val strcspn : string -> string -> int
 val substring : string -> int -> int -> string
 val str1 : char -> string