From 425bb7f90ffc8a6f8a1590ed76f305f3029a0beb Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Thu, 10 Jul 2008 14:02:54 -0400 Subject: Writing HTML --- include/lacweb.h | 8 +++++--- include/types.h | 8 ++++++++ 2 files changed, 13 insertions(+), 3 deletions(-) create mode 100644 include/types.h (limited to 'include') diff --git a/include/lacweb.h b/include/lacweb.h index 26f85402..14431df1 100644 --- a/include/lacweb.h +++ b/include/lacweb.h @@ -1,3 +1,5 @@ -typedef int lw_Basis_int; -typedef float lw_Basis_float; -typedef char* lw_Basis_string; +#include "types.h" + +extern lw_unit lw_unit_v; + +void lw_write(const char*); diff --git a/include/types.h b/include/types.h new file mode 100644 index 00000000..28a8ea80 --- /dev/null +++ b/include/types.h @@ -0,0 +1,8 @@ +typedef int lw_Basis_int; +typedef float lw_Basis_float; +typedef char* lw_Basis_string; + +struct __lws_0 { +}; + +typedef struct __lws_0 lw_unit; -- cgit v1.2.3