diff include/lacweb.h @ 106:d101cb1efe55

More with attributes and efficient serialization
author Adam Chlipala <adamc@hcoop.net>
date Thu, 10 Jul 2008 15:49:14 -0400
parents 5f04adf47f48
children 94856a3b4752
line wrap: on
line diff
--- a/include/lacweb.h	Thu Jul 10 15:19:06 2008 -0400
+++ b/include/lacweb.h	Thu Jul 10 15:49:14 2008 -0400
@@ -3,3 +3,7 @@
 extern lw_unit lw_unit_v;
 
 void lw_write(const char*);
+
+char *lw_Basis_attrifyInt(lw_Basis_int);
+char *lw_Basis_attrifyFloat(lw_Basis_float);
+char *lw_Basis_attrifyString(lw_Basis_string);