module Logic_preprocess:sig
..end
adds another pre-processing step in order to expand macros in annotations.
file suffix cpp file
takes the file to preprocess,
and the pre-processing directive, and returns the name of the file
containing the completely pre-processed source. suffix will be appended
to the name of intermediate files generated for pre-processing annotations
(gcc pre-processing differs between .c and .cxx files)
val file : string -> (string -> string -> string) -> string -> string