diff options
author | 2011-01-13 10:02:50 -0500 | |
---|---|---|
committer | 2011-01-13 10:02:50 -0500 | |
commit | 4aba3524089abbdaa836014fd58e927c69853eea (patch) | |
tree | ad413eedbc7c3eed30a276f339d9adf87ff01e49 /lib/ur/basis.urs | |
parent | b25672b8700461390b9b233398d044eb2d2d9b07 (diff) |
More string processing
Diffstat (limited to 'lib/ur/basis.urs')
-rw-r--r-- | lib/ur/basis.urs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/lib/ur/basis.urs b/lib/ur/basis.urs index 0b22544f..a91fd498 100644 --- a/lib/ur/basis.urs +++ b/lib/ur/basis.urs @@ -87,6 +87,7 @@ val strsub : string -> int -> char 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 |