From 138f64b8f02f05e6073f61b1db2c3d5e805b75c0 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Tue, 11 Jan 2011 14:03:54 -0500 Subject: String processing optimizations --- include/urweb.h | 1 + 1 file changed, 1 insertion(+) (limited to 'include') diff --git a/include/urweb.h b/include/urweb.h index 75f8e782..49281ac1 100644 --- a/include/urweb.h +++ b/include/urweb.h @@ -134,6 +134,7 @@ uw_Basis_bool uw_Basis_unurlifyBool(uw_context, char **); 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 *); -- cgit v1.2.3