annotate 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
rev   line source
adamc@102 1 #include "types.h"
adamc@102 2
adamc@102 3 extern lw_unit lw_unit_v;
adamc@102 4
adamc@102 5 void lw_write(const char*);
adamc@106 6
adamc@106 7 char *lw_Basis_attrifyInt(lw_Basis_int);
adamc@106 8 char *lw_Basis_attrifyFloat(lw_Basis_float);
adamc@106 9 char *lw_Basis_attrifyString(lw_Basis_string);