diff include/types.h @ 186:88d46972de53

bool in Basis
author Adam Chlipala <adamc@hcoop.net>
date Sun, 03 Aug 2008 18:53:20 -0400
parents 2be573fec9a6
children 20bf7487c370
line wrap: on
line diff
--- a/include/types.h	Sun Aug 03 17:57:47 2008 -0400
+++ b/include/types.h	Sun Aug 03 18:53:20 2008 -0400
@@ -8,6 +8,12 @@
 typedef struct __lws_0 lw_unit;
 typedef lw_unit lw_Basis_unit;
 
+enum lw_Basis_bool_enum { lw_Basis_False, lw_Basis_True };
+
+typedef struct lw_Basis_bool {
+  enum lw_Basis_bool_enum tag;
+} *lw_Basis_bool;
+
 typedef struct lw_context *lw_context;
 
 typedef lw_Basis_string lw_Basis_xhtml;