summaryrefslogtreecommitdiff
path: root/include/types.h
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2008-08-03 18:53:20 -0400
committerGravatar Adam Chlipala <adamc@hcoop.net>2008-08-03 18:53:20 -0400
commitf946d43f10e2f78d179db30c3c9ae8dcc10f3c10 (patch)
tree96feb9219e03b0d172f13bf75f747e6f26efdefa /include/types.h
parent3e65e1558de55a1a47a62690b48159d92a4ed072 (diff)
bool in Basis
Diffstat (limited to 'include/types.h')
-rw-r--r--include/types.h6
1 files changed, 6 insertions, 0 deletions
diff --git a/include/types.h b/include/types.h
index 169952cb..d5d2b202 100644
--- a/include/types.h
+++ b/include/types.h
@@ -8,6 +8,12 @@ struct __lws_0 {
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;