sig
  val store_report : string -> Rep_desc.report -> unit
  val load_report : string -> Rep_desc.report
end