Module Rep_io (.ml)


module Rep_io: sig .. end
Storing and loading report files.

val store_report : string -> Rep_desc.report -> unit
store_report f r store the given report r to the given file f.
val load_report : string -> Rep_desc.report
load_report f reads a report from the given file f.