annotate include/types.h @ 381:1fe85b58c9ba

Generating urp HTML
author Adam Chlipala <adamc@hcoop.net>
date Sun, 19 Oct 2008 14:13:08 -0400
parents 9ad92047a499
children 024478c34f4d
rev   line source
adamc@311 1 typedef long long uw_Basis_int;
adamc@311 2 typedef double uw_Basis_float;
adamc@311 3 typedef char* uw_Basis_string;
adamc@102 4
adamc@311 5 struct __uws_0 {
adamc@102 6 };
adamc@102 7
adamc@311 8 typedef struct __uws_0 uw_unit;
adamc@311 9 typedef uw_unit uw_Basis_unit;
adamc@117 10
adamc@311 11 typedef enum uw_Basis_bool { uw_Basis_False, uw_Basis_True } uw_Basis_bool;
adamc@186 12
adamc@311 13 typedef struct uw_context *uw_context;
adamc@117 14
adamc@311 15 typedef uw_Basis_string uw_Basis_xhtml;
adamc@311 16 typedef uw_Basis_string uw_Basis_page;
adamc@167 17
adamc@167 18
adamc@167 19 typedef enum { SUCCESS, FATAL, BOUNDED_RETRY, UNLIMITED_RETRY } failure_kind;
adamc@295 20
adamc@295 21
adamc@295 22 #define INTS_MAX 50
adamc@295 23 #define FLOATS_MAX 100