Module Logic_preprocess


module Logic_preprocess: sig .. end
adds another pre-processing step in order to expand macros in annotations.


file 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.
val file : (string -> string -> string) -> string -> string