diff include/urweb.h @ 828:14a6c0971d89

String.length
author Adam Chlipala <adamc@hcoop.net>
date Sat, 30 May 2009 09:59:10 -0400
parents 395a5d450cc0
children 20fe00fd81da
line wrap: on
line diff
--- a/include/urweb.h	Thu May 28 13:47:05 2009 -0400
+++ b/include/urweb.h	Sat May 30 09:59:10 2009 -0400
@@ -111,6 +111,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_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 *);