functor (C : PdgMarks.T_Config->
  sig
    type t
    type t_fct = (C.M.t, C.M.t_call_info) PdgIndex.FctIndex.t
    type t_mark = C.M.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