From 0e95aa2c802d0a4fa54ebf985133eb2584a1d9ba Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Thu, 10 Jul 2008 15:49:14 -0400 Subject: More with attributes and efficient serialization --- include/lacweb.h | 4 ++++ 1 file changed, 4 insertions(+) (limited to 'include') diff --git a/include/lacweb.h b/include/lacweb.h index 14431df1..983f979a 100644 --- a/include/lacweb.h +++ b/include/lacweb.h @@ -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); -- cgit v1.2.3