annotate include/types.h @ 214:766b5475477f

Corifying con-tuples
author Adam Chlipala <adamc@hcoop.net>
date Sat, 16 Aug 2008 15:03:05 -0400
parents 20bf7487c370
children ed4af33681d8
rev   line source
adamc@102 1 typedef int lw_Basis_int;
adamc@102 2 typedef float lw_Basis_float;
adamc@102 3 typedef char* lw_Basis_string;
adamc@102 4
adamc@102 5 struct __lws_0 {
adamc@102 6 };
adamc@102 7
adamc@102 8 typedef struct __lws_0 lw_unit;
adamc@119 9 typedef lw_unit lw_Basis_unit;
adamc@117 10
adamc@189 11 typedef enum lw_Basis_bool { lw_Basis_False, lw_Basis_True } lw_Basis_bool;
adamc@186 12
adamc@117 13 typedef struct lw_context *lw_context;
adamc@117 14
adamc@119 15 typedef lw_Basis_string lw_Basis_xhtml;
adamc@139 16 typedef lw_Basis_string lw_Basis_page;
adamc@167 17
adamc@167 18
adamc@167 19 typedef enum { SUCCESS, FATAL, BOUNDED_RETRY, UNLIMITED_RETRY } failure_kind;