sig
  type t = Pdg.Register.F_Proj(Config).t
  type t_mark = Config.M.t
  type t_call_info = Config.M.t_call_info
  type t_fct = (t_mark, t_call_info) PdgIndex.FctIndex.t
  val empty : t
  val find_marks : t -> Cil_types.varinfo -> t_fct option
  val mark_and_propagate :
    t -> PdgTypes.Pdg.t -> t_mark PdgMarks.t_select -> unit
end