sig
val get : Cil_types.fundec -> Summary.fun_stats option
val iter : (Cil_types.fundec -> Summary.fun_stats -> unit) -> unit
val recompute : Cil_types.fundec -> unit
val register_hook : (Cil_types.fundec * Summary.fun_stats -> unit) -> unit
end