view include/types.h @ 335:bc5015b89dd2

Name disjointness check changed to case insensitive
author Adam Chlipala <adamc@hcoop.net>
date Sat, 13 Sep 2008 19:53:07 -0400
parents 9ad92047a499
children 024478c34f4d
line wrap: on
line source
typedef long long uw_Basis_int;
typedef double uw_Basis_float;
typedef char* uw_Basis_string;

struct __uws_0 {
};

typedef struct __uws_0 uw_unit;
typedef uw_unit uw_Basis_unit;

typedef enum uw_Basis_bool { uw_Basis_False, uw_Basis_True } uw_Basis_bool;

typedef struct uw_context *uw_context;

typedef uw_Basis_string uw_Basis_xhtml;
typedef uw_Basis_string uw_Basis_page;


typedef enum { SUCCESS, FATAL, BOUNDED_RETRY, UNLIMITED_RETRY } failure_kind;


#define INTS_MAX 50
#define FLOATS_MAX 100