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