Ur/Web: include/types.h annotate

Coq formalization uses TDisjoint

author	Adam Chlipala <adamc@hcoop.net>
date	Tue, 24 Feb 2009 16:08:14 -0500
parents	024478c34f4d
children	b0c1a46b1f15

rev	line source
adamc@436	1 #include <time.h>
adamc@436	2
adamc@311	3 typedef long long uw_Basis_int;
adamc@311	4 typedef double uw_Basis_float;
adamc@311	5 typedef char* uw_Basis_string;
adamc@436	6 typedef time_t uw_Basis_time;
adamc@102	7
adamc@311	8 struct __uws_0 {
adamc@102	9 };
adamc@102	10
adamc@311	11 typedef struct __uws_0 uw_unit;
adamc@311	12 typedef uw_unit uw_Basis_unit;
adamc@117	13
adamc@311	14 typedef enum uw_Basis_bool { uw_Basis_False, uw_Basis_True } uw_Basis_bool;
adamc@186	15
adamc@311	16 typedef struct uw_context *uw_context;
adamc@117	17
adamc@311	18 typedef uw_Basis_string uw_Basis_xhtml;
adamc@311	19 typedef uw_Basis_string uw_Basis_page;
adamc@167	20
adamc@167	21
adamc@167	22 typedef enum { SUCCESS, FATAL, BOUNDED_RETRY, UNLIMITED_RETRY } failure_kind;
adamc@295	23
adamc@295	24
adamc@295	25 #define INTS_MAX 50
adamc@295	26 #define FLOATS_MAX 100
adamc@436	27 #define TIMES_MAX 100

Mercurial > urweb