sig
  type callnode = {
    cnid : int;
    cnInfo : Callgraph.nodeinfo;
    cnCallees : Callgraph.callnode Datatype.Int.Hashtbl.t;
    cnCallers : Callgraph.callnode Datatype.Int.Hashtbl.t;
  }
  and nodeinfo =
      NIVar of Cil_types.varinfo * bool Pervasives.ref
    | NIIndirect of string * Cil_types.varinfo list Pervasives.ref
  val nodeName : Callgraph.nodeinfo -> string
  type callgraph = (string, Callgraph.callnode) Hashtbl.t
  val computeGraph : Cil_types.file -> Callgraph.callgraph
  val printGraph : Pervasives.out_channel -> Callgraph.callgraph -> unit
  val feature : Cil.featureDescr
end