object
  method file_footer : string -> string
  method file_header : string -> string
  method file_summary : ReportStat.all -> string
  method footer : string
  method header : string
  method point : int -> int -> Common.point_kind -> string
  method summary : ReportStat.all -> string
end