1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
|
/*
** locale.h
*/
constant int LC_ALL;
constant int LC_COLLATE;
constant int LC_CTYPE;
constant int LC_NUMERIC;
constant int LC_TIME;
constant int LC_MONETARY;
/* lcl can't handle just struct lconv... */
typedef struct lconv {
char *decimal_point ;
char *thousands_sep ;
char *grouping ;
char *int_curr_symbol ;
char *currency_symbol ;
char *mon_decimal_point ;
char *mon_thousands_sep ;
char *mon_grouping ;
char *positive_sign ;
char *negative_sign ;
char int_frac_digits ;
char frac_digits ;
char p_cs_precedes ;
char p_sep_by_space ;
char n_cs_precedes ;
char n_sep_by_space ;
char p_sign_posn ;
char n_sign_posn ;
} __lconv ;
struct lconv *localeconv(void) { ensures true; }
char *etlocale(int __category, char *__locale ) { ensures true; }
|
