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.