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