Mercurial > urweb

comparison lib/ur/basis.urs @ 1388:3913cbfd72e9

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
String processing optimizations
author Adam Chlipala <adam@chlipala.net>
date Tue, 11 Jan 2011 14:03:54 -0500
parents 64724ef86149
children 9a721f0722d3
comparison
equal deleted inserted replaced
1387:dd99e1702432 1388:3913cbfd72e9
79 val chr : int -> char 79 val chr : int -> char
80 80
81 (** String operations *) 81 (** String operations *)
82 82
83 val strlen : string -> int 83 val strlen : string -> int
84 val strlenGe : string -> int -> bool
84 val strcat : string -> string -> string 85 val strcat : string -> string -> string
85 val strsub : string -> int -> char 86 val strsub : string -> int -> char
86 val strsuffix : string -> int -> string 87 val strsuffix : string -> int -> string
87 val strchr : string -> char -> option string 88 val strchr : string -> char -> option string
88 val strindex : string -> char -> option int 89 val strindex : string -> char -> option int