Mercurial > urweb
diff include/urweb.h @ 1388:3913cbfd72e9
String processing optimizations
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Tue, 11 Jan 2011 14:03:54 -0500 |
parents | 64724ef86149 |
children | 9a721f0722d3 |
line wrap: on
line diff
--- a/include/urweb.h Thu Jan 06 19:26:31 2011 -0500 +++ b/include/urweb.h Tue Jan 11 14:03:54 2011 -0500 @@ -134,6 +134,7 @@ uw_Basis_time uw_Basis_unurlifyTime(uw_context, char **); uw_Basis_int uw_Basis_strlen(uw_context, const char *); +uw_Basis_bool uw_Basis_strlenGe(uw_context, uw_Basis_string, uw_Basis_int); uw_Basis_char uw_Basis_strsub(uw_context, const char *, uw_Basis_int); uw_Basis_string uw_Basis_strsuffix(uw_context, const char *, uw_Basis_int); uw_Basis_string uw_Basis_strcat(uw_context, const char *, const char *);