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 val print_idents_in_full : bool ref
17 val print_line_numbers : bool ref
19 val location : Format.formatter -> C.location -> unit
20 val typ : Format.formatter -> C.typ -> unit
21 val simple_decl : Format.formatter -> C.ident * C.typ -> unit
22 val full_decl: Format.formatter -> C.decl -> unit
23 val const : Format.formatter -> C.constant -> unit
24 val exp : Format.formatter -> int * C.exp -> unit
25 val opt_exp : Format.formatter -> C.stmt -> unit
26 val stmt : Format.formatter -> C.stmt -> unit
27 val fundef : Format.formatter -> C.fundef -> unit
28 val init : Format.formatter -> C.init -> unit
29 val storage : Format.formatter -> C.storage -> unit
30 val field : Format.formatter -> C.field -> unit
31 val globdecl : Format.formatter -> C.globdecl -> unit
32 val program : Format.formatter -> C.program -> unit