Module Logic_preprocess

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