sig
  type t = {
    cfile_name : string;
    cfunc_name : string;
    cslocs : int;
    cifs : int;
    cloops : int;
    ccalls : int;
    cgotos : int;
    cassigns : int;
    cexits : int;
    cfuncs : int;
    cptrs : int;
    cdecision_points : int;
    cglob_vars : int;
    ccyclo : int;
  }
  val incr_funcs : Metrics_base.BasicMetrics.t -> Metrics_base.BasicMetrics.t
  val incr_slocs : Metrics_base.BasicMetrics.t -> Metrics_base.BasicMetrics.t
  val incr_ptrs : Metrics_base.BasicMetrics.t -> Metrics_base.BasicMetrics.t
  val incr_ifs : Metrics_base.BasicMetrics.t -> Metrics_base.BasicMetrics.t
  val incr_dpoints :
    Metrics_base.BasicMetrics.t -> Metrics_base.BasicMetrics.t
  val incr_loops : Metrics_base.BasicMetrics.t -> Metrics_base.BasicMetrics.t
  val incr_gotos : Metrics_base.BasicMetrics.t -> Metrics_base.BasicMetrics.t
  val incr_exits : Metrics_base.BasicMetrics.t -> Metrics_base.BasicMetrics.t
  val incr_assigns :
    Metrics_base.BasicMetrics.t -> Metrics_base.BasicMetrics.t
  val incr_calls : Metrics_base.BasicMetrics.t -> Metrics_base.BasicMetrics.t
  val incr_glob_vars :
    Metrics_base.BasicMetrics.t -> Metrics_base.BasicMetrics.t
  val set_cyclo :
    Metrics_base.BasicMetrics.t -> int -> Metrics_base.BasicMetrics.t
  val apply_then_set :
    (Metrics_base.BasicMetrics.t -> Metrics_base.BasicMetrics.t) ->
    Metrics_base.BasicMetrics.t Pervasives.ref -> unit
  val empty_metrics : Metrics_base.BasicMetrics.t
  val compute_cyclo : Metrics_base.BasicMetrics.t -> int
  val to_list : Metrics_base.BasicMetrics.t -> string list list
  val pp_base_metrics :
    Format.formatter -> Metrics_base.BasicMetrics.t -> unit
  val pp_base_metrics_as_html_row :
    Format.formatter -> Metrics_base.BasicMetrics.t -> unit
end