sig
  type t = {
    sloc : int;
    call_statements : int;
    goto_statements : int;
    assign_statements : int;
    if_statements : int;
    loop_statements : int;
    mem_access : int;
    functions_without_source : int Cil_datatype.Varinfo.Map.t;
    functions_with_source : int Cil_datatype.Varinfo.Map.t;
    function_definitions : int;
    cyclos : int;
  }
  val compute : (unit -> Db.Metrics.t) Pervasives.ref
  val pretty : (Format.formatter -> Db.Metrics.t -> unit) Pervasives.ref
end