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 Cilutil.VarinfoHashtbl.t;
functions_with_source : int Cilutil.VarinfoHashtbl.t;
}
val compute : (unit -> unit) Pervasives.ref
val pretty : (Format.formatter -> unit) Pervasives.ref
val dump : (unit -> unit) Pervasives.ref
val last_result : (unit -> Db.Metrics.t) Pervasives.ref
end