object
  method file_footer : string -> string
  method file_header : string -> string
  method file_summary : Report_utils.counts -> string
  method footer : string
  method header : string
  method point : int -> int -> string
  method summary : Report_utils.counts -> string
end