Commit | Line | Data |
---|---|---|
34e49164 C |
1 | type ppmethod = PPnormal | PPviastr |
2 | ||
ae4735db C |
3 | (* program -> output filename (often "/tmp/output.c") -> unit *) |
4 | val pp_program : | |
978fd7e5 | 5 | (Parse_c.toplevel2 * ppmethod) list -> Common.filename -> unit |
485bce71 | 6 | |
ae4735db | 7 | val pp_program_default: |
978fd7e5 | 8 | Parse_c.program2 -> Common.filename -> unit |