1 (* *********************************************************************)
3 (* The Compcert verified compiler *)
5 (* Xavier Leroy, INRIA Paris-Rocquencourt *)
7 (* Copyright Institut National de Recherche en Informatique et en *)
8 (* Automatique. All rights reserved. This file is distributed *)
9 (* under the terms of the GNU General Public License as published by *)
10 (* the Free Software Foundation, either version 2 of the License, or *)
11 (* (at your option) any later version. This file is also distributed *)
12 (* under the terms of the INRIA Non-Commercial License Agreement. *)
14 (* *********************************************************************)
16 (* Machine-dependent aspects *)
27 sizeof_longdouble: int;
28 sizeof_void: int option;
29 sizeof_fun: int option;
32 sizeof_ptrdiff_t: int;
37 alignof_longlong: int;
40 alignof_longdouble: int;
41 alignof_void: int option;
42 alignof_fun: int option
48 val make_char_signed : t -> t
49 val gcc_extensions : t -> t