sig
  type t = PdgTypes.Pdg.t
  type t_index = (PdgTypes.Node.t, unit) PdgIndex.FctIndex.t
  val get_index : t -> t_index
  val make :
    Kernel_function.t ->
    PdgTypes.G.t -> PdgTypes.t_data_state Inthash.t -> t_index -> t
  val get_states : t -> PdgTypes.t_data_state Inthash.t
  val get_graph : t -> PdgTypes.G.t
end