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 *);